The Logical Semantics of Program Schemas and Program Verification

ID
TR-76-11
Authors
Akira Kanda
Publishing date
December 1976
File(s)
TR-76-11.pdf