Woodcock, Jim.
Woodcock, Jim, 1956-....
Woodcock, James
Jim Woodcock British computer scientist
VIAF ID: 145747617 ( Personal )
Permalink: http://viaf.org/viaf/145747617
Preferred Forms
- 100 0 _ ‡a Jim Woodcock ‡c British computer scientist
- 200 _ | ‡a Woodcock ‡b Jim ‡f 1956-....
- 100 1 _ ‡a Woodcock, James
- 100 1 _ ‡a Woodcock, James
-
-
-
-
-
-
-
- 100 1 0 ‡a Woodcock, Jim
- 100 1 _ ‡a Woodcock, Jim ‡d 1956-
-
- 100 1 _ ‡a Woodcock, Jim, ‡d 1956-....
-
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings | |
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19–23, 1993 : proceedings | |
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays | |
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings | |
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers | |
Industrial benefit and advances in formal methods | |
Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings | |
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare | |
PSSE 2004 | |
Refinement techniques in software engineering : First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 : revised lectures | |
Refinement Workshop (3rd : 1990 : IBM UK Laboratories). 3rd Refinement Workshop, 1991: | |
SBMF 2009 | |
Software engineering mathematics, 1989: | |
Special section on the 1999 Formal Methods Conference (FM '99) | |
Theoretical aspects of computing : ICTAC 2007 : 4th International colloquium, Macao, China, September 26-28, 2007 : proceedings | |
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures | |
Using Z : specification, refinement, and proof | |
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 | |
VSTTE 2008 |