LRA Interpolants from No Man's Land

TitleLRA Interpolants from No Man's Land
Publication TypeConference Paper
Year of Publication2017
AuthorsAlt, Leonardo, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameHaifa Verification Conference (HVC)
PublisherSpringer's Lecture Notes in Computer Science series (LNCS)