Hoare-Kalkül: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „==Quellen== *[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf Einführung mit Beispielen]“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
==Quellen== | ==Quellen== | ||
*[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf Einführung | *[http://osg.informatik.tu-chemnitz.de/lehre/old/ss08/ds/10-verification-a4.pdf Einführung mit Beispielen] | ||
*[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf weitere Einführung (RWTH Aachen)] | |||