Algebra and models

Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '93 ◽

10.1145/256428.167053 ◽

1993 ◽

Cited By ~ 4

Author(s):

C. A. R. Hoare

Download Full-text