Institutions for behaviour specification

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014433 ◽

1995 ◽

pp. 273-289 ◽

Cited By ~ 4

Author(s):

J. L. Fiadeiro ◽

J. F. Costa