Formale Softwareentwicklungsmethoden in der Ausbildung

Uwe Schmidt. Formale Softwareentwicklungsmethoden in der Ausbildung. In Jörg Raasch, Thomas Bassler, editors, Software Engineering im Unterricht der Hochschulen SEUH 93, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 25. und 26. Februar 1993 in Hamburg. Volume 38 of Berichte des German Chapter of the ACM, pages 115-124, Teubner, 1993.

@inproceedings{Schmidt93:0,
  title = {Formale Softwareentwicklungsmethoden in der Ausbildung},
  author = {Uwe Schmidt},
  year = {1993},
  researchr = {https://researchr.org/publication/Schmidt93%3A0},
  cites = {0},
  citedby = {0},
  pages = {115-124},
  booktitle = {Software Engineering im Unterricht der Hochschulen SEUH  93, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 25. und 26. Februar 1993 in Hamburg},
  editor = {Jörg Raasch and Thomas Bassler},
  volume = {38},
  series = {Berichte des German Chapter of the ACM},
  publisher = {Teubner},
  isbn = {3-519-02679-1},
}