Dr. Sriram Rajamani

Correct design of asynchronous software
Part 1

NTASS 2013

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