[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Contents [breaker page]