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
Identifier
- DOI: 10.1007/978-3-642-39799-8_57
- RWTH PUBLICATIONS: RWTH-CONV-203581