Verification and falsification of programs with loops using predicate abstraction
- Journal Article
Journal / seriesFormal aspects of computing
NotesReceived 10 February 2008, Accepted 14 March 2009, Published online 7 April 2009.
MoreShow all metadata