Fourth Workshop on Formal and Automated Theorem Proving and Applications
February 4-5, 2011, Belgrade, Serbia

http://argo.matf.bg.ac.rs/events/2011/fatpa2011/fatpa2011.html


Back