Search

You searched for: Auteur Wies, Thomas Remove constraint Auteur: Wies, Thomas
1 - 4 of 4
Number of results to display per page

Search Results

1. Programming Languages and Systems
thumbnail
Full text!
Author:
Wies, Thomas
Publisher:
Springer Nature Switzerland 2023
Format:
e-book
2. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Author:
Paskevich; Wies, Thomas
Publisher:
Springer International Publishing 2017
Format:
e-book
3. Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
thumbnail
Full text!
Author:
Mohaisen, David.; Wies, Thomas
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
4. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
thumbnail
Full text!
Author:
Finkbeiner, Bernd.; Wies, Thomas
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book