FORMLAB: An Integrated Environment to Support Formal Methods for Software Design
Sérgio Roberto Pereira da Silva
Itana Maria de Souza Gimenes
A. M. HAEBERER