1977
Semantics and the foundations of program proving
Publication
Publication
Presented at the
IFIP Congress on Information Processing, Toronto, Canada
Additional Metadata | |
---|---|
North-Holland | |
B. Gilchrist | |
IFIP Congress on Information Processing | |
de Bakker, J. (1977). Semantics and the foundations of program proving. In B. Gilchrist (Ed.), Information processing 77 : proceedings of IFIP congress 77, Toronto, Canada, 08-12.08.1977. North-Holland. |