Jamie Shield

According to our database, Jamie Shield authored at least 2 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2002

Refining Object-Oriented Invariants and Dynamic Constraints.

Jamie Shield, Ian J. Hayes

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.

Jamie Shield, Ian J. Hayes, David A. Carrington

Proceedings of the Computing: The Australasian Theory Symposium, 2001