Pablo López-Tarifa

2PUBLICATIONS
38CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Jul 17, 2020
The CECAM electronic structure library and the modular software development paradigm.

Micael J T Oliveira, Nick Papior, Yann Pouillon

|Jun 04, 2020
Siesta: Recent developments and applications.

Alberto García, Nick Papior, Arsalan Akhtar

Pageof 1