STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Robert Dockins | lit.salon
Robert Dockins
No bio available.
Add one in Open Library.
Books by Robert Dockins (50 max)
+ shelf
+ list
Program Logics for Certified Compilers
2014
Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy
