Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching [2017/06/13 14:49] – [Courses] etanterteaching [2018/01/31 11:16] – [Courses] folmedo
Line 12: Line 12:
   * [[teaching:cc71y|Programming Languages II (CC71Y)]]   * [[teaching:cc71y|Programming Languages II (CC71Y)]]
   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
 +  * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]