Formal Methods in Software Engineering (FormaliSE), FME Workshop on
Off-Campus Access: Athens ID and Password Required