TY - CONF ID - deploy323 UR - http://sites.lero.ie/fm2011 A1 - Ponsard, Christophe A1 - Deprez, Jean-Christophe Y1 - 2011/06/23/ TI - Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods AV - public M2 - Limerick (Ireland) T2 - FM2011 ER -