PVAIR: Partial Variable Assignment InterpolatoR

TitlePVAIR: Partial Variable Assignment InterpolatoR
Publication TypeConference Paper
Year of Publication2016
AuthorsJančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha
Conference NameFASE2016
URLhttp://verify.inf.usi.ch/sites/default/files/main-2.pdf