%0 Journal Article %1 tr/ibm/LILOG42 %A Beierle, Christoph %A Olthoff, Walter G. %A Voß, Angi %D 1988 %I IBM Deutschland GmbH %J LILOG-Report %K dblp %T Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung %V 42

@article{tr/ibm/LILOG42, added-at = {2011-12-29T00:00:00.000+0100}, author = {Beierle, Christoph and Olthoff, Walter G. and Voß, Angi}, biburl = {https://www.bibsonomy.org/bibtex/2798214bea61dc4180338bff48942bdf4/dblp}, interhash = {5c3fce779344415347a43ef1d18f47b0}, intrahash = {798214bea61dc4180338bff48942bdf4}, journal = {LILOG-Report}, keywords = {dblp}, publisher = {IBM Deutschland GmbH}, timestamp = {2011-12-30T11:33:13.000+0100}, title = {Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung}, volume = 42, year = 1988 }