- CSB - MetaPress - Google - Bing - Yahoo
 | 1990 | |
|---|---|---|
| 1 |      | Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore: Formal Specification and Design Time Testing. IEEE Trans. Software Eng. 16(1): 1-12 (1990) |
| 1 | Derek Coleman | [1] |
| 2 | Robin M. Gallimore | [1] |