Summer School on Formal Techniques
When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)