PPT-ESOP 2010,
Paphos Cyprus 22 March 2010 Deadlockfree Channels and Locks K Rustan M Leino RiSE group Microsoft Research Peter Müller ETH Zurich Jan Smans KU Leuven
Download Presentation
Download Note : "ESOP 2010," is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.