Search Results - D.2.2 [Software Engineering] Program Verification

An analysis of research topics in software engineering – 2006 by Cai, Kai-Yuan, Card, David

“…% of subject indexes in software engineering, including Testing and Debugging (D.2.5), Management (D.2.9), and Software/Program Verification…”
Get full text

Software safety and security : tools for analysis and verification by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany), Nipkow, Tobias, Grumberg, Orna, Hauptmann, Benedikt

“… This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security…”
Get full text