Yves R. Jean-Mary is an author at University of Miami specializing in formal verification, verification, and automated reasoning.
Top concepts
SemanticsEngineeringSemantic WebVerificationComputer ScienceOntology MatchingAutomated ReasoningFormal Verification
Publications per year
2007–2009
4
4
Rows per page
1–4 of 4