%0 Conference Paper %1 conf/seuh/Klaeren92 %A Klaeren, Herbert %B SEUH %D 1992 %E Ludewig, Jochen %E Schneider, Kurt %I Teubner %K dblp %P 48-50 %T Software Engineering und formale Verfahren. %U http://dblp.uni-trier.de/db/conf/seuh/seuh1992.html#Klaeren92 %V 37 %@ 3-519-02678-3

@inproceedings{conf/seuh/Klaeren92, added-at = {2002-09-17T00:00:00.000+0200}, author = {Klaeren, Herbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2905680235e36a7641c367e319feb39bb/dblp}, booktitle = {SEUH}, crossref = {conf/seuh/1992}, editor = {Ludewig, Jochen and Schneider, Kurt}, interhash = {7d99168030bd09bd198a2e961ada12aa}, intrahash = {905680235e36a7641c367e319feb39bb}, isbn = {3-519-02678-3}, keywords = {dblp}, pages = {48-50}, publisher = {Teubner}, series = {Berichte des German Chapter of the ACM}, timestamp = {2016-02-02T12:37:54.000+0100}, title = {Software Engineering und formale Verfahren.}, url = {http://dblp.uni-trier.de/db/conf/seuh/seuh1992.html#Klaeren92}, volume = 37, year = 1992 }