Jim Woodcock

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

New opportunities for integrated formal methods

Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)

Industrial Practice in Formal Methods: A Review

Juan Carlos Bicarregui and others (2009) · Lecture notes in computer science · Springer Science+Business Media

Formal methods: Practice and experience

Jim Woodcock and others (2009) · ACM Computing Surveys · Association for Computing Machinery