Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

book

発売日

: 2024年

著者／編集

: Dirk Beyer/Arnd Hartmanns/Fabrice Kordon

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783031676949