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 | Gino Biondi | [1] |
2 | Sandro Bologna | [1] |
3 | Rocco Bove | [1] |
4 | Giovanni Dipoppa | [1] |
5 | Giorgio Mongardi | [1] |
6 | Benny Graft Mortensen | [1] |
7 | Carmen Porzia | [1] |