Znanstveni kolokviji 
Logic at work : computer-assisted verification of circuits, programs and theorems
| Vrijeme: | 4.7.2016 17:00 |
| Predavaonica: | 005 |
| Predavač: | Gerard Berry, College de France |
| Naziv: | Logic at work : computer-assisted verification of circuits, programs and theorems |
| Opis: |
|