%0 Journal Article %1 journals/cj/Cooke92 %A Cooke, John %D 1992 %J Comput. J. %K dblp %N 5 %P 419-423 %T Formal Methods - Mathematics, Theory, Recipes or What? %U http://dblp.uni-trier.de/db/journals/cj/cj35.html#Cooke92 %V 35

@article{journals/cj/Cooke92, added-at = {2011-06-28T00:00:00.000+0200}, author = {Cooke, John}, biburl = {https://www.bibsonomy.org/bibtex/28e347504f8ff746f9e80dafae86bf863/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/35.5.419}, interhash = {b5f5835eca3e4800f6151a528d069869}, intrahash = {8e347504f8ff746f9e80dafae86bf863}, journal = {Comput. J.}, keywords = {dblp}, number = 5, pages = {419-423}, timestamp = {2011-06-29T16:39:55.000+0200}, title = {Formal Methods - Mathematics, Theory, Recipes or What?}, url = {http://dblp.uni-trier.de/db/journals/cj/cj35.html#Cooke92}, volume = 35, year = 1992 }