Tutorial Speakers
- Nikolaj Bjørner, Microsoft Research
- Andrei Voronkov, EasyChair and The University of Manchester
AVM25: 17TH ALPINE VERIFICATION MEETING
|
|
AVM25: 17TH ALPINE VERIFICATION MEETING
Tutorial Speakers
|
|