Skip to content
NovaLib
Sample Page
library
NovaLib
Main Menu
Sample Page
Library
/
Author
/
Jacques Loeckx
Books by author
Jacques Loeckx
The Foundations of Program Verification
1987 · GERMAN · PDF
View details
→