Couvre les concepts de propriété intellectuelle, les brevets, les marques et les dessins et modèles industriels, avec des études de cas sur les litiges relatifs aux marques et les dépôts de brevets innovants.
Couvre les bases de Dafny, la concurrence de modélisation et la mise en œuvre de la mémoire transactionnelle avec des preuves de sécurité et de vivacité.
