Jamie Shield

List of publications from the DBLP Bibliography Server - FAQ

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)

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