Christopher Paul Gerrard

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
Formal Specification and Design Time Testing. IEEE Trans. Software Eng. 16 (1) (1990)