Ian A. Mason, Carolyn L. Talcott. Program Transformation via Contextual Assertions. In Neil D. Jones, Masami Hagiya, Masahiko Sato, editors, Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Volume 792 of Lecture Notes in Computer Science, pages 225-254, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.