Publications
Export 1 results:
Author Keyword Title Type [ Year
] Filters: Author is Hazem Torfah [Clear All Filters]
, “The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems”, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.