| 1999 | ||
|---|---|---|
| 1 | EE | Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti: From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) |
| 1 | Emanuele Ciapessoni | [1] |
| 2 | Alberto Coen-Porisini | [1] |
| 3 | Dino Mandrioli | [1] |
| 4 | Angelo Morzenti | [1] |