Pedro Merino

Books
Chemical Biology of Neurodegeneration Chemical Biology of Neurodegeneration
Chemical Biology of Neurodegeneration
2019
Model Checking Software Model Checking Software
Model Checking Software
2018
Chemical Synthesis of Nucleoside Analogues Chemical Synthesis of Nucleoside Analogues
Chemical Synthesis of Nucleoside Analogues
2013
La laguna roja La laguna roja
La laguna roja
2011
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2008