Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
On the completeness of program verifications methods
Zacytuj
CZYSTY 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
Balazs Biro. On the completeness of program verifications methods. Bulletin of the Section of Logic, 10(2):83–90, 1981.
Pokaż kod BibTeX
@article{bazhum218834,
author = {Biro, Balazs},
title = {{On the completeness of program verifications methods}},
journal = {Bulletin of the Section of Logic},
year = {1981},
volume = {10},
number = {2},
pages = {83--90},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/218834}
}