Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.

Giorgio Levi, Franco Sirovich

Browse the full MFCS paper archive.