J. W. · J. Woodcock · James C.P. Woodcock · James W.
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| App Design | 978-1-84543-406-9 | 2011 | ||
| FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... Notes in Computer Science , Band 1051) | 978-3-540-60973-5 | 2008 | Marie-Claude Gaudel | |
| Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings | 978-3-642-14807-1 | 2010 | Ana Cavalcanti · David Deharbe · Marie-Claude Gaudel | |
| Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings | 978-3-540-87872-8 | 2008 | Natarajan Shankar | |