Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc7125 [2017/11/06 17:48] – etanter | teaching:cc7125 [2017/11/13 09:16] – etanter | ||
---|---|---|---|
Line 46: | Line 46: | ||
* Nov 1: //feriado// | * Nov 1: //feriado// | ||
* Nov 6: Smallstep.v (hasta normalizing) | * Nov 6: Smallstep.v (hasta normalizing) | ||
- | * Nov 8: | + | * Nov 8: Smallstep.v |
* Nov 13: | * Nov 13: | ||
* Nov 15: JSCert (M. Bodin) | * Nov 15: JSCert (M. Bodin) | ||
Line 52: | Line 52: | ||
* Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) | ||
- | [[cc7125: | + | [[teaching:cc7125: |
---- | ---- |