@INPROCEEDINGS{Liggesmeyer2000b, author = {Liggesmeyer, P.}, title = {Formale und stochastische Methoden zur Qualitätssicherung technischer Software}, booktitle = {Informatik 2000}, year = {2000} }