Engelbert Hubbers. Integrating Tools for Automatic Program Verification. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 214-221, Springer, 2003. [doi]
@inproceedings{Hubbers03,
title = {Integrating Tools for Automatic Program Verification},
author = {Engelbert Hubbers},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=214},
tags = {program verification},
researchr = {https://researchr.org/publication/Hubbers03},
cites = {0},
citedby = {0},
pages = {214-221},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers},
editor = {Manfred Broy and Alexandre V. Zamulin},
volume = {2890},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20813-5},
}