| 1998 | ||
|---|---|---|
| j2 | Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry: Understanding and Exploring Formal Specifications. Ann. Software Eng. 6: 411-432 (1998) | |
| j1 | 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 | Graham Buckberry | |
| 2 | Ian C. Morrey | |
| 3 | Jawed I. A. Siddiqi |
Data released under the ODC-BY 1.0 license — See also our legal information page