FTSCS 2022
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… Read More »FTSCS 2022
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… Read More »FTSCS 2022