Hardware and Software: Verification and Testing - Chockler, Hana; Hu, Alan J.; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering