Francisco Durán
Francisco Durán
1 books in the database
Books
Co-authored books and collections
Books that list Francisco Durán among their authors but not as the lead author: co-written works, collections and compilations.
Composing Model-Based Analysis ToolsRobert Heinrich
Composing Model-Based Analysis Tools
Robert Heinrich · 2022
All About Maude - A High-Performance Logical FrameworkManuel Clavel
All About Maude - A High-Performance Logical Framework
Manuel Clavel · 2007
Recuerdos y sabores de la Comarca LaguneraMaría Isabel Saldaña Villarreal
Recuerdos y sabores de la Comarca Lagunera
María Isabel Saldaña Villarreal · 2014