Time for Verification - Manna, Zohar; Kanade, Takeo; Peled, Doron A.; Kittler, Josef (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Computer Science (Hardware & Networks)