On the completeness of program verifications methods

Bulletin of the Section of Logic, Tom 10, Numer 2 (1981) s. 83-90
Balazs Biro

 

do góry