Annalí Casanueva Artís

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. ITP (2023)
Théo Zimmermann, Annalí Casanueva Artís
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project. ICSME (2019)