Back to the CAMILA home page
- 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.
