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

(An ICFEM 2013 Satellite Event)

Queenstown, New Zealand, October 29-30, 2013


Beautiful Queenstown, New Zealand. See the location page of the ICFEM 2013 web page for more details.

More info to come.