RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...

ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009

J Derrick, E Boiten, J Derrick, E Boiten

Refinement in Z and Object-Z: Foundations and Advanced Applications, 359-375, 2001

N Walkinshaw, R Taylor, J Derrick

Empirical software engineering 21, 811-853, 2016

G Smith, J Derrick

Formal Methods in System Design 18, 249-284, 2001

H Bowman, MWA Steen, EA Boiten, J Derrick

Formal Methods in System Design 21, 111-166, 2002

J Derrick, G Schellhorn, H Wehrheim

ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011

G Smith, J Derrick

First IEEE international conference on Formal engineering methods, 293-302, 1997

E Boiten, H Bowman, J Derrick, P Linington, M Steen

Computer Networks 34 (3), 503-537, 2000

H Bowman, J Derrick, PF Linington, M Steen

Computer Standards and Interfaces 17 (5-6), 457-479, 1995

B Dongol, J Derrick

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

G Schellhorn, H Wehrheim, J Derrick

Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012

H Bowman, EA Boiten, J Derrick, MWA Steen

Formal methods for open object-based distributed systems, 189-204, 1996

N Walkinshaw, K Bogdanov, J Derrick, J Paris

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference …, 2010

N Walkinshaw, J Derrick, Q Guo

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009

J Cole, J Derrick, Z Milosevic, K Raymond

Policies for Distributed Systems and Networks: International Workshop …, 2001

J Derrick, G Schellhorn, H Wehrheim

FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011

EA Boiten, J Derrick

Springer Verlag, 1998

MWA Steen, J Derrick

Computer Standards & Interfaces 22 (3), 165-189, 2000

E Boiten, J Derrick, H Bowman, M Steen

Science of Computer Programming 35 (1), 29-75, 1999

J Derrick, E Boiten

Formal Aspects of Computing 15, 182-214, 2003