Dennis Peuter, Viorica Sofronie-Stokkermans. On Inductive Verification and Synthesis. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 1-8, EasyChair, 2018. [doi]
@inproceedings{PeuterS18,
title = {On Inductive Verification and Synthesis},
author = {Dennis Peuter and Viorica Sofronie-Stokkermans},
year = {2018},
url = {http://www.easychair.org/publications/paper/C1mW},
researchr = {https://researchr.org/publication/PeuterS18},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
editor = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
volume = {10},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}