Snimka predavanja Formalne metode – od robota do blockchaina kojeg je 23. ožujka 2022. održao dr. sc. Ivan Gavran, Informal Systems u sklopu predavanja Inženjerske sekcije objavljena je i može se pogledati ovdje.

Snimka predavanja Formalne metode – od robota do blockchaina kojeg je 23. ožujka 2022. održao dr. sc. Ivan Gavran, Informal Systems u sklopu predavanja Inženjerske sekcije objavljena je i može se pogledati ovdje.