A System for Software Development using Formal Methods
Papers, Reports and Other Documentation
Fri Mar 21 17:38:59 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.

On the CAMILA Prototyping Environment

On the SETS Reification Calculus

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

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