| |
| 1998 | ||
|---|---|---|
| 1 | EE | Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard: Applying Formal Methods in Industry The UseGat Project. SAFECOMP 1998: 231-242 |
| 1 | Sandro Bologna | [1] |
| 2 | Rocco Bove | [1] |
| 3 | Giovanni Dipoppa | [1] |
| 4 | Niels Kirkegaard | [1] |
| 5 | Giorgio Mongardi | [1] |
| 6 | Benny Graft Mortensen | [1] |
| 7 | Carmen Porzia | [1] |