Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification

zum Volltext (1140 kB)   ZIP
Weitere TitelZusatztitel :
  • Zugl.: Kiel, Univ., Diss. : 2001
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Februar 2001
Seitenbereich225 Seiten
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000181
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000181-a7
IDNummer des Berichts :
  • 2013