Preface

Salem Benferhat, Hana Chockler, Eric Fabre, Görschwin Fey, Gregor Gössler, Alex Groce, Sylvain Hallé, Joseph Halpern, Stefan Leue, Dejan Nickovic, Andy Podgurski, Oleg Sokolsky, Jean Bernard Stefani, Louise Travé-Massuyès, Joost Vennekens, Chao Wang, Georg Weissenbacher

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume224
DOIs
StatePublished - Aug 26 2016
Externally publishedYes
Event1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 - Eindhoven, Netherlands
Duration: Apr 8 2016 → …

ASJC Scopus subject areas

  • Software

Cite this