A RobotC programozási nyelv

Helyesség

A RobotC nyelv nem rendelkezik helyességbizonyító eszközökkel.