TY  - GEN
T1  - Enseñando Métodos Formales con Coq.
JF  - WICC 2001 San Luis [CD-ROM]
IS  - Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI)
A1  - Luna, Carlos Daniel
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.54816
ER  -