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.

@inproceedings{Hussmann99,
  title = {Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?},
  author = {Heinrich Hußmann},
  year = {1999},
  researchr = {https://researchr.org/publication/Hussmann99},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999},
  editor = {Katharina Spies and Bernhard Schätz},
  publisher = {Herbert Utz Verlag},
  isbn = {3-89675-918-3},
}