TY  - RPRT
T1  - A calculus for proving properties of while-programs
T3  - Saarbrücken, 1978
A1  - Glasner,Ingrid
A1  - Loeckx,Jacques
Y1  - 2011/07/27
N2  - 
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/4020
ER  -