Publication | Closed Access
Proceedings of the 16th International Conference on Formal Engineering Methods
31
Citations
0
References
2014
Year
Unknown Venue
Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerificationFormal MethodsFormal TechniqueFormal SystemFormal Engineering MethodsFormal Verification
No additional data available for this publication yet. Check back later!