ICE: A Robust Framework for Learning Invariance

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

Cham [u.a.] : Springer (2014)
Contribution to a book, Contribution to a conference proceedings

In: Computer aided verification : 26th international conference, CAV 2014, held as a part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 ; proceedings / Armin Biere; Roderick Bloem (eds.)
Page(s)/Article-Nr.: 69-87