Some publications by Jayadev Misra
|
Back
Articles in journal or book chapters
|
-
Jayadev Misra.
An Exercise in Program Explanation.
ACM Transaction on Programming Languages and Systems,
3(1):104--109,
January 1981.
This document was translated from BibTEX by
bibtex2html