A System for Software Development using Formal Methods
The Camila Mailing List 
 Wed Jun 4 MET 1997

Back to the CAMILA home page
  •  CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments.

Please, fill the text boxes bellow with your FULL NAME, EMAIL and ADDRESS and then click on SUBSCRIBE.


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

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