CAMILA - a Platform for Software Mathematical Development

http://camila.di.uminho.pt
CAMILA is a software development platform intended to promote the use of formal methods in industrial software environments.

Registado em: 1997-03-25
Modificado em: 1997-03-25
Keyword: formal-methods
Classificação: Software | Investigação Científica | Tecnologia | Informática