Browsing by Author Salas Oliveros, Jorge Filadelfo
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2008 | Utilización de un asistente Coq para la demostración de teoremas en la teoría de lenguajes formales y síntesis de programas | Salas Oliveros, Jorge Filadelfo |