| |
| 2000 | ||
|---|---|---|
| 3 | Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz: Towards Automated Consistency Checking of Module Interface Specifications. Fundam. Inform. 42(3-4): 251-278 (2000) | |
| 1994 | ||
| 2 | Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. Z User Workshop 1994: 282-294 | |
| 1992 | ||
| 1 | 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 | |
| 1 | Artur Kret | [3] |
| 2 | Marcin Kubica | [1] |
| 3 | Jan Madey | [1] |
| 4 | Janina Mincer-Daszkiewicz | [3] |
| 5 | David Lorge Parnas | [1] |
| 6 | Anders P. Ravn | [1] |
| 7 | A. John van Schouwen | [1] |