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

(An ICFEM 2013 Satellite Event)

Queenstown, New Zealand, October 29-30, 2013


Please look at the right sidebar of the ICFEM location web page, which includes travel information.