Formal Tropos People
|
||
The people currently involved in the Formal Tropos project are: |
|
|
Ariel Fuxman (afuxman@cs.toronto.edu) | ||
Raman Kazhamiakin (raman@dit.unitn.it) | ||
Lin Liu (liu@cs.toronto.edu) | ||
John Mylopoulos (jm@cs.toronto.edu) | ||
Marco Pistore (pistore@dit.unitn.it) | ||
Marco Roveri (roveri@irst.itc.it) | ||
Paolo Traverso (traverso@irst.itc.it) |
|
|
To get in touch with the people currently involved in the development of the Formal Tropos tool T-Tool, please send an e-mail to t-tool@irst.itc.it. |