| 1992 | ||
|---|---|---|
| 2 | Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen: A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474 | |
| 1990 | ||
| 1 | David Lorge Parnas, A. John van Schouwen, Shu Po Kwan: Evaluation of Safety-Critical Software. Commun. ACM 33(6): 636-648 (1990) | |
| 1 | Marcin Engel | [2] |
| 2 | Marcin Kubica | [2] |
| 3 | Shu Po Kwan | [1] |
| 4 | Jan Madey | [2] |
| 5 | David Lorge Parnas | [1] [2] |
| 6 | Anders P. Ravn | [2] |