Software Engineering: Rigorous and Agile Approaches (FormSERA), Formal Methods in
Off-Campus Access: Athens ID and Password Required