Languages
Jump To : Overview | Titles | Subjects

Woodcock, Jim.

Overview
Works: 15 works in 2 publications in 1 languages
Titles
Dependable software engineeringtheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings / by: (1998 :); Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui. (Electronic resources)
Verified software: theories, tools, experimentssecond international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (1998 :); Shankar, N.; SpringerLink (Online service); Woodcock, Jim. (Language materials, printed)
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / by: (1998 :); Cavalcanti, Ana.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim. (Electronic resources)
Formal methodsfoundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (1998 :); Oliveira, Marcel Vinicius Medeiros.; SpringerLink (Online service); Woodcock, Jim. (Electronic resources)
Formal methods and software engineering5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (1998 :); Dong, Jin Song, (1967-); SpringerLink (Online service); Woodcock, Jim. (Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume I / by: (1998 :); Davies, Jim.; SpringerLink (Online service); Wing, Jeannette Marie.; Woodcock, Jim. (Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume II / by: (1998 :); Davies, Jim.; SpringerLink (Online service); Wing, Jeannette Marie.; Woodcock, Jim. (Electronic resources)
Software engineering for robotics by: Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim. (Electronic resources)
 
 
Change password
Login