Formal Verification of a Doubly Linked List Implementation : A Case Study Using the JIVE System

Vorschau

Zitieren

Zitierform:

Labeth, Marcel / Meyer, Jörg / Müller, Peter / et al: Formal Verification of a Doubly Linked List Implementation. A Case Study Using the JIVE System. Hagen 2000. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe