A micromodularity mechanism
- 1 September 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 26 (5) , 62-73
- https://doi.org/10.1145/503209.503219
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- AlloyACM Transactions on Software Engineering and Methodology, 2002
- Automating first-order relational logicPublished by Association for Computing Machinery (ACM) ,2000
- AlcoaPublished by Association for Computing Machinery (ACM) ,2000
- An Invitation to Formal MethodsComputer, 1996
- Conjunction as compositionACM Transactions on Software Engineering and Methodology, 1993