Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
PVAIR: Partial Variable Assignment InterpolatoR
FASE, 2016.
@inproceedings{FASE-2016-JancikAFHKS,
author = "Pavel Jancík and Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyvärinen and Jan Kofron and Natasha Sharygina",
booktitle = "{Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/978-3-662-49665-7_25",
isbn = "978-3-662-49664-0",
pages = "419--434",
publisher = "{Springer}",
title = "{PVAIR: Partial Variable Assignment InterpolatoR}",
year = 2016,
}