Ferienakademie 2022, Course 1 Modern Approaches to Optimization and Verification in Computer Science https://www12.informatik.uni-erlangen.de/edu/fa/2022/K1/
Run make to compile the latex sources and see the pdf file.
Ferienakademie 2022, Course 1 Modern Approaches to Optimization and Verification in Computer Science https://www12.informatik.uni-erlangen.de/edu/fa/2022/K1/
Run make to compile the latex sources and see the pdf file.