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.
It is currently being developed by
JNICT
consortium 169/90 (
INESC
group
2361
hosted by the
University of Minho
, Braga, Portugal, and the
Department of Informatics
of the same University) by a team led by
Prof. José N. Oliveira
.
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.