Loại tài liệu:
Chỉ tìm trong:
831-840 trong số 30798 kết quả
|
, 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 I
|
|
Tác giả:
Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
|
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2021
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|