Formal Methods in Software Engineering

Mihai Danes

Email: fmse@info.uaic.ro
Status: Collaborator

Publications

2005

Specification of Coordinated Objects and Verification of Their Temporal Properties

Mihai Danes, Gabriel Ciobanu, Dorel Lucanu

Conference