Formal Methods for Eternal Networked Software Systems - Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering