Name: | Harald Ganzinger |
---|---|
Award: | http://i-cav.org/2021/cav-award/ |
Date: | July 2021 |
Category | Award |
Organisation | International Conference on Computer-Aided Verification |
Name: | Harald Ganzinger |
---|---|
Award: | http://i-cav.org/2021/cav-award/ |
Date: | July 2021 |
Category | Award |
Organisation | International Conference on Computer-Aided Verification |