%0 Conference Paper %1 conf/gi/MichelisLS76 %A Michelis, Giorgio De %A Lanzarone, Gaetano Aurelio %A Simone, Carla %B GI Jahrestagung %D 1976 %E Neuhold, Erich J. %I Springer %K dblp %P 121-132 %T Program Proving: Exit and Return Jumps in Structured Programs. %U http://dblp.uni-trier.de/db/conf/gi/gi76.html#MichelisLS76 %V 5 %@ 3-540-07912-2

@inproceedings{conf/gi/MichelisLS76, added-at = {2004-02-11T00:00:00.000+0100}, author = {Michelis, Giorgio De and Lanzarone, Gaetano Aurelio and Simone, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2b92ee471a69e3ba7ade3475063dbcdb0/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1976}, editor = {Neuhold, Erich J.}, ee = {http://dx.doi.org/10.1007/978-3-642-95289-0_10}, interhash = {80e4131168f18c44b48a2257e7dd3a6c}, intrahash = {b92ee471a69e3ba7ade3475063dbcdb0}, isbn = {3-540-07912-2}, keywords = {dblp}, pages = {121-132}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:38:48.000+0100}, title = {Program Proving: Exit and Return Jumps in Structured Programs.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi76.html#MichelisLS76}, volume = 5, year = 1976 }