LIVE! -- LINUX Verification Enterprise
Informationen:
Beschreibung
Literatur
CSP Quick Reference (postscript)
Z Notationen (postscript)
Weitere Informationen zu Projektinterna finden sich unter
Projekt-informationen
agbs
@
informatik.uni-bremen.de, letzte Änderung 14. April 1998