Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß. A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 105-116, Springer, 1982.
@inproceedings{GotzheinKR82,
title = {A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication},
author = {Reinhard Gotzhein and S. Keramidis and Manfred Reitenspieß},
year = {1982},
tags = {case study},
researchr = {https://researchr.org/publication/GotzheinKR82},
cites = {0},
citedby = {0},
pages = {105-116},
booktitle = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings},
editor = {Hans Wössner},
volume = {53},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-11204-9},
}