Tesis de doctorado Reasoning about functional programs by combining interactive and automatic proofs Autor(es): Sicard-Ramírez, Andrés
Fecha de publicación: 2015
Institución: Universidad de la República