%0 Journal Article %1 journals/csur/SteffenM96a %A Steffen, Bernhard %A Margaria, Tiziana %D 1996 %J ACM Comput. Surv. %K dblp %N 4es %P 126 %T Tools Get Formal Methods into Practice. %U http://dblp.uni-trier.de/db/journals/csur/csur28.html#SteffenM96a %V 28

@article{journals/csur/SteffenM96a, added-at = {2018-11-06T00:00:00.000+0100}, author = {Steffen, Bernhard and Margaria, Tiziana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2baeb35b3904f53683bd02df3e7975c86/dblp}, ee = {https://doi.org/10.1145/242224.242385}, interhash = {530f8fe03070b038ad05085180653d9d}, intrahash = {baeb35b3904f53683bd02df3e7975c86}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = {4es}, pages = 126, timestamp = {2019-09-27T10:24:16.000+0200}, title = {Tools Get Formal Methods into Practice.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur28.html#SteffenM96a}, volume = 28, year = 1996 }