Jamie Shield Vis

*	2002
2	EE	Jamie Shield, Ian J. Hayes: Refining Object-Oriented Invariants and Dynamic Constraints. APSEC 2002: 52-
	2001
1	EE	Jamie Shield, Ian J. Hayes, David A. Carrington: Using Theory Interpretation to Mechanise the Reals in a Theorem Prover. Electr. Notes Theor. Comput. Sci. 42: (2001)

Coauthor Index

1	David A. Carrington	[1]
2	Ian J. Hayes	[1] [2]