Woodcock, Jim
VIAF ID: 145747617 (Personal)
Permalink: http://viaf.org/viaf/145747617
Preferred Forms
-
100 1 _ ‡a Woodcock, Jim
-
100 1 _ ‡a Woodcock, Jim
-
200 _ | ‡a Woodcock ‡b Jim
-
100 1 _ ‡a Woodcock, Jim
Selected Titles
- Using Z : specification, refinement, and proof
(2)
- ICFEM 2003
(2)
- Formal methods and software engineering : 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
(2)
- Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
(2)
- [http://www.amazon.com/software-engineering-mathematics-demystified-ebook/dp/b000uywkya software engineering mathematics: formal methods demystified]
(1)
- Verified software
(1)
- Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
(1)
- Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
(1)
- Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
(1)
- Industrial benefit and advances in formal methods
(1)
