search result

Cover von TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Challenges; 14550
Media group: MONOGRAPHIE
OPEN V 11.1.0.0