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