Konstantinos Mamouras
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
FoSSaCS, 2015.
@inproceedings{FoSSaCS-2015-Mamouras, author = "Konstantinos Mamouras", booktitle = "{Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-662-46678-0_2", isbn = "978-3-662-46677-3", pages = "25--40", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism}", volume = 9034, year = 2015, }