Yann Rémond is an author at Université Joseph Fourier specializing in formal methods, engineering, and automation.
Top concepts
AutomationEngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningMachine TranslationSystems EngineeringComputer Engineering
Publications per year
2001–2002
2
2
Rows per page
1–2 of 2