Eighth International Workshop on Formal Techniques for Safety-Critical Systems
(An OOPSLA/SPLASH 2022 Satellite Event)
Auckland, New Zealand, December 7, 2022
After a Covid-induced hiatus, FTSCS is back in sunny New Zealand this December!
Eighth International Workshop on Formal Techniques for Safety-Critical Systems
(An OOPSLA/SPLASH 2022 Satellite Event)
Auckland, New Zealand, December 7, 2022
After a Covid-induced hiatus, FTSCS is back in sunny New Zealand this December!