International Workshop on Formal Techniques for Safety-Critical Systems (1. : 2012 : Kyōto)

Held as a satellite event of the ICFEM Conference