114
Ich bin die 114, Deine Zahl. Du sollst nicht andere Zahlen haben neben mir!
42 23
Meff
Programmverifikation:
Ausführliche Erklärungen zu Prinzipien der Verifikation
Schematische Vorgehensweise zur Verifikation (PDF)