On Interpolants and Variable Assignments

TitleOn Interpolants and Variable Assignments
Publication TypeConference Paper
Year of Publication2014
AuthorsJancik, P., Kofronˇ J., Rollini S.F., and Sharygina Natasha
Conference NameFormal Methods in Computer-Aided Design (FMCAD)
Conference LocationLausanne, Switzerland
Full Text