[Avispa-users] Announcement: web-based version of the AVISPA Tool

[avispa-users at avispa-project.org]

Dear AVISPA users,

first of all, let me welcome you to this
mailing list!

Then, let me announce that the Avispa Team has
made available a web-based version of the AVISPA
Tool. It is available at

http://www.avispa-project.org/web-interface

Thank you and..

..enjoy!

On behalf of the Avispa Team,
Jacopo Mantovani.




-- 

Jacopo Mantovani
Artificial Intelligence Laboratory
DIST - University of Genova, Italy

http://www.ai.dist.unige.it/jacopo