CREST@ETAPS

Keyphrases

Publications

2019

volume 308, 2019

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. CREST@ETAPS 308 (2019)

volume 286, 2019

Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. CREST@ETAPS 286 (2019)

2018

2017

volume 259, 2017

Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. CREST@ETAPS 259 (2017)

2016

volume 224, 2016

Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. CREST@ETAPS 224 (2016)