𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formale Methoden für sicherheitskritische Software – Der KIV-Ansatz

✍ Scribed by Reif, Wolfgang

Publisher
Springer-Verlag
Year
1999
Tongue
German
Weight
159 KB
Volume
14
Category
Article
ISSN
0178-3564

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES