Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

  • Vollständige Referenz
  • BibTeX
Beierle, C., Olthoff, W. G. & Voß, A., (1988). Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.   Informatik Spektrum: Vol. 11, No. 6. Berlin Heidelberg: Springer-Verlag. (S. 292-302).
@article{mci/Beierle1988,
author = {Beierle, Christoph AND Olthoff, Walter G. AND Voß, Angi},
title = {Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung},
journal = {Informatik Spektrum},
volume = {11},
number = {6},
year = {1988},
,
pages = { 292-302 }
}

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

Datum: 1988
Sprache: de (de)
Typ: Text/Journal Article
Sammlungen

Zur Langanzeige