Jim Davies
4 published titles
Using Z : specification, refinement, and proof
(Contributor)
1 edition
- ISBN: 0139484728
- Prentice Hall
- 1996
- Details
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
(Contributor)
1 edition
- ISBN: 0333922301
- Palgrave
- 2000
- Details
Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11 2010 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642198281
- Springer
- 2011
- Details
FM'99 _ formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
(Contributor)
1 edition