Rolf Hebenstreit. Programmverifikation und Präzisionsarithmetiken. Praxis der Informationsverarbeitung und Kommunikation, 14(2):82-89, 1991. [doi]
@article{Hebenstreit91,
title = {Programmverifikation und Präzisionsarithmetiken},
author = {Rolf Hebenstreit},
year = {1991},
doi = {10.1515/piko.1991.14.2.72},
url = {http://dx.doi.org/10.1515/piko.1991.14.2.72},
researchr = {https://researchr.org/publication/Hebenstreit91},
cites = {0},
citedby = {0},
journal = {Praxis der Informationsverarbeitung und Kommunikation},
volume = {14},
number = {2},
pages = {82-89},
}