Program verification within and without logic

Bulletin of the Section of Logic, Tom 8, Numer 3 (1979) s. 124-129
Hajnal Andreka, Istvan Nemeti, Ildiko Sain

 

do góry