Verified Software: Theories, Tools, Experiments - Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K. (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering