A Modula3 programozási nyelv

Helyesség

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