A PL/1 programozási nyelv

Helyesség

Helyesség

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