Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics

Giorgio Levi, Franco Sirovich. Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings. Volume 32 of Lecture Notes in Computer Science, pages 294-301, Springer, 1975.

Authors

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google

Franco Sirovich

This author has not been identified. Look up 'Franco Sirovich' in Google