Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification

Vorschau

Logo BII

Rechte

Nutzung und Vervielfältigung:

Keine Lizenz. Es gelten die Bestimmungen des deutschen Urheberrechts (UrhG).

Bitte beachten Sie, dass einzelne Bestandteile der Publikation anderweitigen Lizenz- bzw. urheberrechtlichen Bedingungen unterliegen können.

Zitieren

Zitierform:
Wolf, A., 2001. Weakest Relative Precondition Semantics: Balancing Approved Theory and Realistic Translation Verification. Bericht des Instituts für Informatik. Institut für Informatik, Kiel.
Zitierform konnte nicht geladen werden.