SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods, ISTI CNR (Pisa) 13-18 September 2010
ICSE 2010 32nd International Conference on Software Engineering
Vamos 2010 Fourth International Workshop on Variability Modelling of Software-intensive Systems
ICFEM 09 International Conference on Formal Engineering Methods
SEFM 09 7th IEEE International Conference on Software Engineering and Formal Methods
FM 2009 16th International Symposium on Formal Methods
SPLC 2009 13th International Software Product Line Conference
Fmics 2009 14th International Workshop on Formal Methods for Industrial Critical Systems