Monografie

Inductive invariant checking with partial negative application conditions

Sprache
Englisch
Identifier
1219661058

Reihe
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 98

Beteiligte Personen und Organisationen

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:56 MEZ

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)