Publication:4934533
From MaRDI portal
zbMath0979.68550MaRDI QIDQ4934533
Wolf Zimmermann, Thilo S. Gaul, Wolfgang Goerigk
Publication date: 17 February 2002
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention, Mechanical Software Verification
Uses Software