Formal Methods and Software Engineering - Butler, Michael; Hinchey, Michael G.; Hinchey, Michael Gerard; Kanade, Takeo; Larrondo-Petrie, María M.; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Computer Science (Hardware & Networks)