ARMC: The logical choice for software model checking with abstraction refinement (2007)

by A Podelski, A Rybalchenko
Venue:In Proc. of PADL, volume 4354 of LNCS