%0 Conference Paper %1 conf/se/Kreowski80a %A Kreowski, Hans-Jörg %B Software Engineering %D 1980 %E Floyd, Christiane %E Kopetz, Hermann %I Teubner %K dblp %P 281-283 %T Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? %U http://dblp.uni-trier.de/db/conf/se/se1980.html#Kreowski80a %V 5 %@ 3-519-02424-1

@inproceedings{conf/se/Kreowski80a, added-at = {2003-02-27T00:00:00.000+0100}, author = {Kreowski, Hans-Jörg}, biburl = {https://www.bibsonomy.org/bibtex/26eca8df139125a41ba4e9ecde8bb95d1/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/1980}, date = {2003-02-27}, description = {dblp}, editor = {Floyd, Christiane and Kopetz, Hermann}, interhash = {b3a588045a8e2c9945c268095b3aaa93}, intrahash = {6eca8df139125a41ba4e9ecde8bb95d1}, isbn = {3-519-02424-1}, keywords = {dblp}, pages = {281-283}, publisher = {Teubner}, series = {Berichte des German Chapter of the ACM}, timestamp = {2003-02-27T00:00:00.000+0100}, title = {Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?}, url = {http://dblp.uni-trier.de/db/conf/se/se1980.html#Kreowski80a}, volume = 5, year = 1980 }