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

(An ICFEM 2013 Satellite Event)

Queenstown, New Zealand, October 29-30, 2013


Queenstown Crowne Plaza Hotel.

See the location page of the ICFEM 2013 web page for more details.