M.A. Cárdenas Viedma is an author at Universidad de Murcia specializing in formal methods, engineering, and automated reasoning.
Top concepts
EngineeringFuzzy LogicFormal MethodsAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2001–2001
1
1
Rows per page
1–1 of 1