Automated Reasoning About Machines

Cite this paper

@article{Gelsey1995AutomatedRA, title={Automated Reasoning About Machines}, author={Andrew Gelsey}, journal={Artif. Intell.}, year={1995}, volume={74}, pages={1-53} }