A strategy for the formal composition of frameworks

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.5 ◽

2005 ◽

Cited By ~ 2

Author(s):

W. Mesquita ◽

A. Sampaio ◽

A.C.V. de Melo

Download Full-text