Conference paper

ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19.
Publication language:english
Original title:Counterexample-Driven Synthesis for Probabilistic Program Sketches
Pages:1-19
Proceedings:Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019
Conference:23rd International Symposium on Formal Methods,
Place:Porto, PT
Year:2019
Publisher:Springer International Publishing
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Christian Hense and
	Sebastian Junges and Joost-Pieter Katoen},
   title = {Counterexample-Driven Synthesis for Probabilistic
	Program Sketches},
   pages = {1--19},
   booktitle = {Proceedings of the 23rd International Symposium on Formal
	Methods. To be published in 2019},
   year = {2019},
   location = {Porto, PT},
   publisher = {Springer International Publishing},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=12010}
}

Your IPv4 address: 54.81.220.239