Skip to content

Home Practice Lessons About

Thomas Wies

Books

Automated Verification of Concurrent Search Structures
Verification, Model Checking, and Abstract Interpretation
Programming Languages and Systems
Verified Software. Theories, Tools, and Experiments
Networked Systems

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.