%0 Journal Article %1 journals/jucs/GuttmannPSV03 %A Guttmann, Walter %A Partsch, Helmuth %A Schulte, Wolfram %A Vullinghs, Ton %D 2003 %J J. Univers. Comput. Sci. %K %N 2 %P 173- %T Tool Support for the Interactive Derivation of Formally Correct Functional Programs. %U http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#GuttmannPSV03 %V 9

@article{journals/jucs/GuttmannPSV03, added-at = {2023-12-13T08:58:17.000+0100}, author = {Guttmann, Walter and Partsch, Helmuth and Schulte, Wolfram and Vullinghs, Ton}, biburl = {https://www.bibsonomy.org/bibtex/23fcad9d498cac1c798efe28d29df3b34/admin}, ee = {https://doi.org/10.3217/jucs-009-02-0173}, interhash = {c99c6916748d10274d37bb7199228cd3}, intrahash = {3fcad9d498cac1c798efe28d29df3b34}, journal = {J. Univers. Comput. Sci.}, keywords = {}, number = 2, pages = {173-}, timestamp = {2023-12-13T08:58:17.000+0100}, title = {Tool Support for the Interactive Derivation of Formally Correct Functional Programs.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#GuttmannPSV03}, volume = 9, year = 2003 }