The Transformation Game: Joining Forces for Verification
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
175
End Page
205
ISSN
0302-9743
1611-3349
ISBN
9783031757778
9783031757785
Date Issued
2024-11-18
Author(s)
Dirk Beyer
Publisher
Springer Nature Switzerland
Type
book part