%0 Conference Paper %1 conf/gi/EhrigF81 %A Ehrig, Hartmut %A Fey, Werner %B GI Jahrestagung %D 1981 %E Brauer, Wilfried %I Springer %K %P 255-269 %T Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. %U http://dblp.uni-trier.de/db/conf/gi/gi81.html#EhrigF81 %V 50 %@ 3-540-10884-X

@inproceedings{conf/gi/EhrigF81, added-at = {2023-12-13T02:51:13.000+0100}, author = {Ehrig, Hartmut and Fey, Werner}, biburl = {https://www.bibsonomy.org/bibtex/29c57266049e3606c6da3f63e0c4d5884/admin}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1981}, editor = {Brauer, Wilfried}, ee = {http://dx.doi.org/10.1007/978-3-662-01089-1_24}, interhash = {8472bfda6bcd0a3baac0b2adcd421a55}, intrahash = {9c57266049e3606c6da3f63e0c4d5884}, isbn = {3-540-10884-X}, keywords = {}, pages = {255-269}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2023-12-13T02:51:13.000+0100}, title = {Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi81.html#EhrigF81}, volume = 50, year = 1981 }