Martín Fernández

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Domain Independent

Video Sequences

Formal Analysis

Top Venues

Publications

Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
A formalisation of LEGv8 in Agda. SBLP (2020)