关注微信公众号查券更方便
【预售】Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as ...
预订 TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition TOOLympics 挑战赛 2023：形
【3-4周达】TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions [9783031676949]
