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.