scientific article; zbMATH DE number 1390248
From MaRDI portal
Publication:4934533
zbMath0979.68550MaRDI QIDQ4934533
Wolf Zimmermann, Thilo S. Gaul, Wolfgang Goerigk
Publication date: 17 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention ⋮ Mechanical Software Verification
Uses Software
This page was built for publication: