The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state of the art in formal methods, to scale up their application in…
Event organizers
Sponsor Title
Are you organizing Software Engineering and Formal Methods?