A Formal HDL and Its Use in the FM9001 Verification. Hunt, W. & Brock, B. Phil.\ Trans.\ Roy.\ Soc., 1992.
bibtex   
@article{Hunt+Brock:1992,
	author = {W.A. Hunt and B.C. Brock},
	title = {A Formal {HDL} and Its Use in the {{FM}9001} Verification},
	journal = "Phil.\ Trans.\ Roy.\ Soc.",
	year = 1992,
	volume = 339
}

Downloads: 0