2016 IEEE/ACM 5th International Workshop on Theory-Oriented Software Engineering (TOSE)
Off-Campus Access: Athens ID and Password Required