Wyniki
-
On the completeness of program verifications methods
Balazs Biro
Bulletin of the Section of Logic , 10 /2 (1981) s. 83-90
Balazs Biro
Bulletin of the Section of Logic
, 10
/2
(1981)
s. 83-90