Some Thoughts on Algebraic Specification (1985)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. 3RD WORKSHOP ON THEORY AND APPLICATIONS OF ABSTRACT DATA TYPES
Citations:3 - 2 self