A theory of abstract data types for program development: Bridging the gap? Journal Articles

Overview
Research
Identity
Additional Document Info
View All

authors

Maibaum, Thomas
Veloso, Paulo AS
Sadler, MR

status

published

publication date

1985

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal