%0 Journal Article %1 journals/tse/Broy01 %A Broy, Manfred %D 2001 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 42-57 %T Toward a Mathematical Foundation of Software Engineering Methods. %U http://dblp.uni-trier.de/db/journals/tse/tse27.html#Broy01 %V 27

@article{journals/tse/Broy01, added-at = {2015-12-10T00:00:00.000+0100}, author = {Broy, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/282dcd12ea82311a7b3afd3c07e63568f/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.895987}, interhash = {ea0ffa9d2582a99f1ecdb1b392d8127e}, intrahash = {82dcd12ea82311a7b3afd3c07e63568f}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {42-57}, timestamp = {2015-12-12T11:46:51.000+0100}, title = {Toward a Mathematical Foundation of Software Engineering Methods.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse27.html#Broy01}, volume = 27, year = 2001 }