Jamie Shield

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

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