booktheque

Kurt Sieber

Books

Co-authored books and collections

Books that list Kurt Sieber among their authors but not as the lead author: co-written works, collections and compilations.

The Foundations of Program Verification
Jacques Loeckx · 1987