Integrated Formal Methods - Hutchison, David; Kanade, Takeo; Gnesi, Stefania; Latella, Diego; Treharne, Helen (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Software Engineering