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.
No references recorded for this publication.
No citations of this publication recorded.