Formal Methods, Foundations and Applications - Simao; Morgan, Carroll (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering