An overview and example of application of CAEDE
- 1 May 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. V (2) , 173-184
- https://doi.org/10.1145/324422.324391
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Pict: An Interactive Graphical Programming EnvironmentComputer, 1984
- Author's ReplyIEEE Software, 1984
- Verifying Concurrent Processes Using Temporal LogicPublished by Springer Nature ,1982