STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Kurt Sieber | lit.salon
Kurt Sieber
No bio available.
Add one in Open Library.
Books by Kurt Sieber (50 max)
+ shelf
+ list
The Foundations of Program Verification
1987
Jacques Loeckx, Kurt Sieber, Ryan Stansifer
