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. |