FORMLAB: An Integrated Environment to Support Formal Methods for Software Design

GIMENES, I. M. S. ; da SILVA, S. R. P. ; HAEBERER, A. M. ; CASTRO, J. B. . FORMLAB: An Integrated Environment to Support Formal Methods for Software Design. In: 8th International Workshop on Software Specification and Design, 1996, Schon Velen. 8th International Workshop on Software Specification and Design, 1996.

1996