Program Proving: Exit and Return Jumps in Structured Programs.

Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone

Browse the full GI paper archive.