Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?

Heinrich Hußmann. Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 1-6, Herbert Utz Verlag, 1999.

Abstract

Abstract is missing.