The Devil in the Details
Formal methods, concurrency, and verification
Review of part 2 of the course (threads, OpenMP).
Slides: 22_review2.pdf
You must be logged in to post a comment.
