%0 Report %1 Jones1992 %A Jones, C. B. %A McCauley, A. M. %D 1992 %K imported %N UMCS-92-12-2 %T Formal methods---selected historical references

@techreport{Jones1992, added-at = {2009-08-29T18:11:31.000+0200}, author = {Jones, C. B. and McCauley, A. M.}, biburl = {https://www.bibsonomy.org/bibtex/23875d850d2693c3227f1f4c35f89f517/n770}, institution = {University of Manchester}, interhash = {69e120d7c49e8048b66ca35c62299950}, intrahash = {3875d850d2693c3227f1f4c35f89f517}, keywords = {imported}, note = {\url{http://citeseer.nj.nec.com/jones92formal.html}}, number = {UMCS-92-12-2}, timestamp = {2009-08-29T18:12:13.000+0200}, title = {{Formal methods---selected historical references}}, year = 1992 }