FTSCS 2014
Third International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2014 Satellite Event)

Luxembourg, November 6 and 7, 2014