- Home
- Proceedings
- ASE
- ASE 2013
2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)
Synthesizing fault-tolerant programs from deontic logic specifications
Year: 2013, Pages: 750-753Authors
Ramiro Demasi, Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada, L8S 4K1
Abstract