SpecVer:O projekcie

Z Lem
Skocz do: nawigacji, wyszukiwania

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]