Formal Methods and Hybrid Real-Time Systems - Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Software Engineering