zamiaCAD : shall we dance?Jenihhin, MaksimOpen Source Tools for Verification : DVClub 14 January 20132013 / 1 p