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:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe