Ramiro Demasi
Synthesizing fault-tolerant programs from deontic logic specifications
ASE, 2013.
@inproceedings{ASE-2013-Demasi, author = "Ramiro Demasi", booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2013.6693149", pages = "750--753", publisher = "{IEEE}", title = "{Synthesizing fault-tolerant programs from deontic logic specifications}", year = 2013, }