Travelled to:1 × The Netherlands
Collaborated with:J.Bicarregui J.S.Fitzgerald P.G.Larsen
Talks about:industri (1) practic (1) review (1) method (1) formal (1)
Person: J. C. P. Woodcock
DBLP: Woodcock:J=_C=_P=
Contributed to:
2009Wrote 1 papers:
- FM-2009-BicarreguiFLW #formal method #industrial #overview #perspective
- Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.