Welcome to the CAMILA home page!
 
A System for Software Development using Formal Methods
 
 
 


About the CAMILA acronym


The CAMILA free distribution package


 The CAMILA project has been funded by JNICT contract Ref. 169/90. 


 Copyright @ 1997 DI / INESC - Universidade do Minho, Braga, Portugal. All Rights Reserved.