FTSCS 2013
Second International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2013 Satellite Event)

Queenstown, New Zealand, October 29-30, 2013


To be announced.