Interpretation and Instantiation of Theories for Reasoning about Formal Speciications Interpretation and Instantiation of Theories for Reasoning about Formal Speciications

Cite this paper

@inproceedings{Hamilton1997InterpretationAI, title={Interpretation and Instantiation of Theories for Reasoning about Formal Speciications Interpretation and Instantiation of Theories for Reasoning about Formal Speciications}, author={Nicholas Hamilton and Ray Nickson and Owen Traynor and Mark Utting}, year={1997} }