{"_id":"WuheZpThfg7Z29fr8","bibbaseid":"hunt-brock-aformalhdlanditsuseinthefm9001verification-1992","author_short":["Hunt, W.","Brock, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["W.A."],"propositions":[],"lastnames":["Hunt"],"suffixes":[]},{"firstnames":["B.C."],"propositions":[],"lastnames":["Brock"],"suffixes":[]}],"title":"A Formal HDL and Its Use in the FM9001 Verification","journal":"Phil.\\ Trans.\\ Roy.\\ Soc.","year":"1992","volume":"339","bibtex":"@article{Hunt+Brock:1992,\n\tauthor = {W.A. Hunt and B.C. Brock},\n\ttitle = {A Formal {HDL} and Its Use in the {{FM}9001} Verification},\n\tjournal = \"Phil.\\ Trans.\\ Roy.\\ Soc.\",\n\tyear = 1992,\n\tvolume = 339\n}\n\n","author_short":["Hunt, W.","Brock, B."],"key":"Hunt+Brock:1992","id":"Hunt+Brock:1992","bibbaseid":"hunt-brock-aformalhdlanditsuseinthefm9001verification-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["formal","hdl","use","fm9001","verification","hunt","brock"],"title":"A Formal HDL and Its Use in the FM9001 Verification","year":1992}