A Limbo programozási nyelv

Helyességbizonyítás

Helyességbizonyítás

A Limbo nem tartalmaz helyességbizonyítást támogató nyelvi kiterjesztéseket.