Martín Ceresa and César Sánchez
Workshop on Formal Methods for Blockchains
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo and César Sánchez
IEEE International Conference on Blockchain
Margarita Capretto, Martín Ceresa and César Sánchez
International Conference on Runtime Verification
Martín Ceresa and Mauro Jaskelioff
Science of Computer Programming
Martín Ceresa and Felipe Gorostiaga and César Sánchez
Asian Programming Languages and Systems
Gustavo Grieco and Martín Ceresa and Agustín Mista and Pablo Buiras
Journal of Systems and Software
Gustavo Grieco and Martín Ceresa and Pablo Buiras
Haskell Symposium