%0 Journal Article %1 journals/cj/Galton92a %A Galton, Antony %D 1992 %J Comput. J. %K dblp %N 5 %P 431-440 %T Logic as a Formal Method. %U http://dblp.uni-trier.de/db/journals/cj/cj35.html#Galton92a %V 35

@article{journals/cj/Galton92a, added-at = {2011-06-28T00:00:00.000+0200}, author = {Galton, Antony}, biburl = {https://www.bibsonomy.org/bibtex/2e1ad6918155cebb0e5fc25ef8120707f/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/35.5.431}, interhash = {91877a012626cfaf0dff03f8ea15afd2}, intrahash = {e1ad6918155cebb0e5fc25ef8120707f}, journal = {Comput. J.}, keywords = {dblp}, number = 5, pages = {431-440}, timestamp = {2011-06-29T16:41:14.000+0200}, title = {Logic as a Formal Method.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj35.html#Galton92a}, volume = 35, year = 1992 }