Join Literal
Authors

Author

Sanjay Bhansali

Books

Verification of Chare-kernel Programs
Verification of Chare-kernel Programs
University of Illinois at Urbana-Champaign. Department of Computer Science, Sanjay Bhansali, Laxmikant Vasudeo Kalé

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here