Browsing by Author Demasi, Ramiro
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Nov-2014 | Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications | Demasi, Ramiro |
Showing results 1 to 1 of 1