Welcome to the
CAMILA
home page!
A System for Software Development using Formal Methods
About
Formal Methods...
Why Formal Methods?
Formal Methods:
The CAMILA Perspective
What's New?
The Camila Mailing List
FAQ - Frequently Asked Questions
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.