Skip to content

Home Practice Lessons About

Photo of Volker Stolz

Volker Stolz

1974

German computer scientist

Books

Runtime Verification
Theoretical Aspects of Computing - ICTAC 2020
Formal Methods : Foundations and Applications
Advances in Service-Oriented and Cloud Computing

Author data: Open Library

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