Hoare Kalkül Bedeutung

Hoare-Kalkül

== Partielle Korrektheit == == Totale Korrektheit == == Literatur == == Weblinks == ...
Gefunden auf https://de.wikipedia.org/wiki/Hoare-Kalkül

---