CAMILA

A System for Software Development using Formal Methods

The Camila Mailing List

Wed Jun 4 MET 1997

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.

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.