Verification, Induction, Termination Analysis - Siegler, Simon; Kanade, Takeo; Wasser, Nathan; Kittler, Josef (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering