Albert Cohen

Correct-by-Construction Multiprocessor Programming

IC Colloquia

Click on a slide to jump to that slide. Scroll to see all the slide thumbnails.