%0 Journal Article %1 journals/sttt/Martin04 %A Martin, John C. %D 2004 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 301-307 %T Formal methods software engineering for the CARA system. %U http://dblp.uni-trier.de/db/journals/sttt/sttt5.html#Martin04 %V 5

@article{journals/sttt/Martin04, added-at = {2020-04-02T00:00:00.000+0200}, author = {Martin, John C.}, biburl = {https://www.bibsonomy.org/bibtex/246dc4d17bc61abf772ed2753da7ec238/dblp}, ee = {https://doi.org/10.1007/s10009-003-0113-x}, interhash = {61e5d36d3f56e36c9ea9aef3f944d6e0}, intrahash = {46dc4d17bc61abf772ed2753da7ec238}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {301-307}, timestamp = {2020-04-03T11:54:30.000+0200}, title = {Formal methods software engineering for the CARA system.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt5.html#Martin04}, volume = 5, year = 2004 }