Korrektheit
From Alda
24.April
Ergänzend zum Beispiel der Hoare-Logic, die benutzt wurde um praxisorientiert mitn der formale Methoden zu arbeiten, ein kurzer Verweis auf die benutzte Quelle : " An Axiomatic Basis for Computer Programming" , C.A.R. Hoave; Comm ACM 1969[1]