automated . verification . concurrent . search . structures . synthesis . lectures . computer . science . krishna . siddharth . patel . nisarg . shasha . dennis . wies . thomas . wieske .
Format
Author
Status
List Price