A Modula2 programozási nyelv

Helyesség



Helyesség

A nyelv nem támogatja a helyességbizonyítást.