Speaker / Predavač :COST Action IC0901 Richmodel Toolkit

Title / Naslov: Workshop on Formal and Authomated Theorem Proving and Applications 2010

Abstract / Abstrakt:

http://argo.matf.bg.ac.yu/events/2010/fatpa2010.html