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.
-
Notifications
You must be signed in to change notification settings - Fork 0
RayenManai/Deductive-Verification-Talk-Slides
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Ferienakademie 2022, Course 1 Modern Approaches to Optimization and Verification in Computer Science
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published