Jamie Shield (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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: 266-281 (2001)

Selection of 2 from 2 records - Jamie Shield has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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