logo
Programme Participants Location Organisation Registration Photos

Workshop
Progress in Decision Procedures: From Formalizations to Applications
March 30, 2013, Belgrade, Serbia