@inproceedings{brauer12inferring, author = {J. Brauer and A. Simon}, title = {Inferring {D}efinite {C}ounterexamples {T}hrough {U}nder-{A}pproximation}, booktitle = {NASA Formal Methods}, editor = {A. E. Goodloe and S. Person}, month = {April}, year = 2012, series = {LNCS}, volume = {7226}, publisher = {Springer}, address = {Norfolk, Virginia, USA}, }