CAMILA
A System for Software Development using Formal Methods
 
Software Component Library 
 Tue Jan 31 17:38:59 MET 1995
 
  •  CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments.
 
jno, Dec 9, 1997. The source: ppd.cam

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


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