Rebola-Pardo, Adrián
- Even shorter proofs without new variables
2023/07/22 by Adrián Rebola-Pardo, Rebola-Pardo, Adrián · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Model-Driven Software Engineering Techniques