Jamie Shield

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

2 Jamie Shield, Ian J. Hayes: Refining Object-Oriented Invariants and Dynamic Constraints. APSEC 2002: 52-

2001

1 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)

	2002
2		Jamie Shield, Ian J. Hayes: Refining Object-Oriented Invariants and Dynamic Constraints. APSEC 2002: 52-
	2001
1		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