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]