id: 70935560
dt: a
an: 70935560
au: Alexi, Werner
ti: Extraction und verifikation von programmen durch analyse formaler beweise
    (Extended abstract)
so: GWAI, 135-152 (1985).
py: 1985
pu: 
la: EN
cc: 
ut: 
ci: 
li: