MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Subjects: “...Computer science...”

Cover Image

2

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on...

Published 2017

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”