====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ======

[[:svarm11|SVARM 2011]] at ETAPS 2011

[[:svarm10|SVARM 2010]] at FLoC 2010