| |
| 1998 | ||
|---|---|---|
| 2 | Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry: Understanding and Exploring Formal Specifications. Ann. Software Eng. 6: 411-432 (1998) | |
| 1 | EE | Ian C. Morrey, Jawed I. A. Siddiqi, Richard Hibberd, Graham Buckberry: A toolset to support the construction and animation of formal specifications. Journal of Systems and Software 41(3): 147-160 (1998) |
| 1 | Richard Hibberd | [1] [2] |
| 2 | Ian C. Morrey | [1] [2] |
| 3 | Jawed I. A. Siddiqi | [1] [2] |