FTSCS 2019
Seventh International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2019 Satellite Event)

Shenzhen, China, November 9, 2019


FTSCS 2019 will take place in Shenzhen, China, which is close to Hong Kong.

Please see the ICFEM 2019 web page for more information.