Sign in
Join Literal
Verification of Chare-kernel Programs
University of Illinois at Urbana-Champaign. Department of Computer Science
Want to read
Sign up to use
University of Illinois at Urbana-Champaign. Department of Computer Science
Verification of Chare-kernel Programs
University of Illinois at Urbana-Champaign. Department of Computer Science,
Sanjay Bhansali,
Laxmikant Vasudeo Kalé
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like Verification of Chare-kernel Programs