Thomas Wies

Identifiers

Open LibraryOL7963803A

Top Subjects

Mathematics (1)

Books by Thomas Wies

Total count: 5

Verified Software. Theories, Tools, and Experiments9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ...

Springer2017-12-15
Automated Verification of Concurrent Search Structures

Morgan & Claypool Publishers2021-01-01
Verification, Model Checking, and Abstract Interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Springer International Publishing AG2022-01-01
Networked Systems11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings

Springer2023-01-01
Programming Languages and Systems32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Springer2023-01-01