E Clarke, J Wing, R Alur, R Cleaveland, D Dill, A Emerson, S Garland, ...

ACM Computing Surveys 28 (4), 626-643, 1996

J Woodcock

Prentice hall, 1996

J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald

ACM computing surveys (CSUR) 41 (4), 1-36, 2009

CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska

ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015

J Woodcock, A Cavalcanti

International Conference of B and Z Users, 184-203, 2002

J Woodcock

CRC Press, 1988

S Stepney, D Cooper, J Woodcock

Oxford University, 2000

A Cavalcanti, A Sampaio, J Woodcock

Formal Aspects of Computing 15, 146-181, 2003

AW Roscoe, JCP Woodcock, L Wulf

Computer Security—ESORICS 94: Third European Symposium on Research in …, 1994

M Oliveira, A Cavalcanti, J Woodcock

Formal Aspects of Computing 21 (1), 3-32, 2009

PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ...

2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016

J Woodcock, A Cavalcanti

5th Irish workshop on formal methods, 2001

C Jones, P O'Hearn, J Woodcock

Computer 39 (4), 93-95, 2006

JCP Woodcock, C Morgan

International Symposium of VDM Europe, 340-351, 1990

J Woodcock, J Davies

Prentice-Hall, 1996

A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock

Software & Systems Modeling 18, 3097-3149, 2019

A Cavalcanti, J Woodcock

Pernambuco Summer School on Software Engineering, 220-268, 2004

J Woodcock

Computer 39 (10), 57-64, 2006

JCP Woodcock, SM Brien

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting …, 1992

J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry

2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012