Francisco J. Enciso-Baños is an author at University of Almería specializing in software engineering, formal methods, and automated reasoning.
Top concepts
SemanticsEngineeringSemantic WebFormal MethodsSoftware DesignComputer ScienceData IntegrationAutomated ReasoningSoftware EngineeringInformation Retrieval
Publications per year
2006–2008
2
2
Rows per page
1–2 of 2