%0 Journal Article %1 journals/stp/SteffenMCB96 %A Steffen, Bernhard %A Margaria, Tiziana %A Claßen, Andreas %A Braun, Volker %D 1996 %J Software - Concepts and Tools %K %N 2 %P 78- %T Incremental Formalization: A Key to Industrial Success. %U http://dblp.uni-trier.de/db/journals/stp/stp17.html#SteffenMCB96 %V 17

@article{journals/stp/SteffenMCB96, added-at = {2023-12-13T07:38:44.000+0100}, author = {Steffen, Bernhard and Margaria, Tiziana and Claßen, Andreas and Braun, Volker}, biburl = {https://www.bibsonomy.org/bibtex/21e00d2e1d8dc4422dc395daa7ce6b83c/admin}, date = {2002-01-03}, interhash = {bb87be728bf18b0eb493c83bffb00b0e}, intrahash = {1e00d2e1d8dc4422dc395daa7ce6b83c}, journal = {Software - Concepts and Tools}, keywords = {}, number = 2, pages = {78-}, timestamp = {2023-12-13T07:38:44.000+0100}, title = {Incremental Formalization: A Key to Industrial Success.}, url = {http://dblp.uni-trier.de/db/journals/stp/stp17.html#SteffenMCB96}, volume = 17, year = 1996 }