Proving Properties of Concurrent Programs
Lecture notes in computer science2013pp. 18–23
Citations Over Time
Related Papers
- The Design of IRIG-B Serial Time Code Format Circuit(2005)
- → Seeing Program Output Improves Novice Learning Gains(2023)2 cited
- → Input research and testing of code TOODY. Quarterly report, July--September 1971(1997)
- Theoretical and Experimental Investigation of Buried Concrete Structures. Volume 2. User's Guide to Computer Code VANISH(1975)
- → Aversion to Versions(2021)