A Harbour programozási nyelv

Helyesség

A Harbour nyelv nem tartalmaz helyességbizonyítási eszközöket.