Doctoral thesis defence - Martin Jonáš
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
RNDr. Martin Jonáš
- Wednesday 18. 9. 2019, 4 pm
- meeting room B517
Open for public.
RNDr. Martin Jonáš
- Wednesday 18. 9. 2019, 4 pm
- meeting room B517
Open for public.
- Attachments