Dr. Sriram Rajamani

Correct design of asynchronous software
Part 2

NTASS 2013

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