Balazs Biro
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On the completeness of program verifications methods Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2 / s. 83 - 901981CZYSTY TEKST
Balazs Biro, On the completeness of program verifications methods, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 83 - 90
BIBTEX@Article{ authors = " Balazs Biro", title = "On the completeness of program verifications methods", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "83 - 90" }
