| |
| 1998 | ||
|---|---|---|
| 1 | EE | Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton: Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Trans. Software Eng. 24(1): 4-14 (1998) |
| 1 | Yoko Ampo | [1] |
| 2 | Steve M. Easterbrook | [1] |
| 3 | David Hamilton | [1] |
| 4 | John Kelly | [1] |
| 5 | Robyn R. Lutz | [1] |