![](/img/cover-not-exists.png)
Approaches to executable specifications
Smoliar, Stephen W.Volume:
7
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1006258.1006285
Date:
December, 1982
File:
PDF, 331 KB
english, 1982