DMCA

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

by Alastair F Donaldson , Leopold Haller , Daniel Kroening , Philipp Rümmer
Venue:Berlin / Heidelberg
Citations:11 - 4 self