Napredne formalne metode

Napišite kratak i zanimljiv sažetak koji objašnjava koje teme pokriva vaš kolegij.