Learning universally quantified invariants of linear data structures

Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel

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

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