A language-independent approach to specification construction
- 1 December 1994
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 19 (5) , 76-86
- https://doi.org/10.1145/193173.195296
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The B tool (Abstract)Lecture Notes in Computer Science, 1988