2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
Off-Campus Access: Athens ID and Password Required