2010 8th IEEE International Conference on Software Engineering and Formal Methods
Off-Campus Access: Athens ID and Password Required