Stephan Kleuker. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. PhD thesis, Carl von Ossietzky University of Oldenburg, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.