%0 Journal Article %1 journals/eatcs/Ehrig04a %A Ehrig, Hartmut %D 2004 %J Bulletin of the EATCS %K dblp %P 156-158 %T Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs83.html#Ehrig04a %V 83

@article{journals/eatcs/Ehrig04a, added-at = {2005-06-08T00:00:00.000+0200}, author = {Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2724f2c7635a7b65ca35566f53c4aedbf/dblp}, date = {2005-06-08}, description = {dblp}, interhash = {ed15f0461a9d098723baa8b9aa375942}, intrahash = {724f2c7635a7b65ca35566f53c4aedbf}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {156-158}, timestamp = {2005-06-08T00:00:00.000+0200}, title = {Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs83.html#Ehrig04a}, volume = 83, year = 2004 }