Changes between Version 87 and Version 88 of WikiStart


Ignore:
Timestamp:
Oct 13, 2017, 9:15:59 AM (7 years ago)
Author:
Mattia Monga
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v87 v88  
    7474==== Tecniche linguistiche per lo sviluppo collaborativo: asserzioni
    7575
     76   * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo04.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo04-handout.pdf Slide (versione per la stampa)]
    7677   * [https://doi.org/10.1145/143062.143098 D. Rosenblum, Towards a method of programming with assertions] ('''lettura obbligatoria''') Per accedere alla ''digital library ACM'' da fuori unimi, attivare il [http://www.sba.unimi.it/BibliotecaDigitale/2484.html#c12243 proxy]
    7778