Duyệt theo Tác giả Groote, Jan Friso
Hiển thị kết quả 1 đến 1 của 1
Năm xuất bản | Nhan đề | Tác giả |
2021 | Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II | Groote, Jan Friso; Larsen, Kim Guldstrand |