- Document2918-Texto del artículo-9037-1-10-20180109uploaded bysergio ivan sánchez alvarado
- Document1419-4427-1-PBuploaded bysergio ivan sánchez alvarado
- Document05b Assertions JML 2slidesuploaded bysergio ivan sánchez alvarado
- Documentlatex.pdfuploaded bysergio ivan sánchez alvarado
- DocumentDiseño de Programas. Formalismo y Abstracción, 2da Edición - Ricardo Peña Marí.pdfuploaded bysergio ivan sánchez alvarado