%0 Journal Article %1 journals/eatcs/EhrigS00 %A Ehrig, Hartmut %A Schröter, Gunnar %D 2000 %J Bulletin of the EATCS %K dblp %P 77-83 %T The Role of Mathematics and Formal Specification Techniques in Software System Development. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs72.html#EhrigS00 %V 72

@article{journals/eatcs/EhrigS00, added-at = {2004-09-24T00:00:00.000+0200}, author = {Ehrig, Hartmut and Schröter, Gunnar}, biburl = {https://www.bibsonomy.org/bibtex/244750891c600ab507e6724f898f9fc1d/dblp}, date = {2004-09-24}, description = {dblp}, interhash = {29229a157563b6247785efc5ed03c90a}, intrahash = {44750891c600ab507e6724f898f9fc1d}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {77-83}, timestamp = {2004-09-24T00:00:00.000+0200}, title = {The Role of Mathematics and Formal Specification Techniques in Software System Development.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs72.html#EhrigS00}, volume = 72, year = 2000 }