P.: Software verification using k-induction (2011)

by A Donaldson, L Haller, D Kroening, Rmmer
Venue:Berlin / Heidelberg