SpecVer:O projekcie
Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 08:38, 3 lut 2013
To jest formuła [math]\alpha \implies K\,\beta [/math]
opisująca poprawność algorytmu K względem warunku poczatkowego [math]\alpha [/math] i warunku końcowego [math] \beta [/math]
