A Habanero Java programozási nyelv

Helyesség

A Habanero Java nem tartalmaz helyességbizonyítást támogató nyelvi eszközöket.