Learning universally quantified invariants of linear data structures

Berlin [u.a.] / Springer (2013) [Contribution to a book, Contribution to a conference proceedings]

Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings / Natasha Sharygina ... (ed.)
Page(s): 813-829