Call for Papers – SAS 2020
The 27th Static Analysis Symposium.
Website: https://conf.researchr.org/home/sas-2020#Call-for-Papers
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
The 27th Static Analysis Symposium.
Website: https://conf.researchr.org/home/sas-2020#Call-for-Papers