Ambient Designer PDF Stampa E-mail

Ambient Designer (WiKi) is an open-source visual tool that enables the description and testing of Ambient Calculus specifications.

Download Ambient Designer at http://sourceforge.net/projects/ambientdesigner/.