Rooting UNITY
- 1 April 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (3) , 11-19
- https://doi.org/10.1145/75200.75202
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Transition logicPublished by Association for Computing Machinery (ACM) ,1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- On folk theoremsCommunications of the ACM, 1980
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- An axiomatic basis for computer programmingCommunications of the ACM, 1969