A language-independent approach to specification construction

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195296 ◽

1994 ◽

Cited By ~ 7

Author(s):

N. Lévy ◽

G. Smith

Download Full-text