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