Loại tài liệu:
Chỉ tìm trong:
1761-1770 trong số 23918 kết quả
|
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
|
|
Tác giả:
Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
|
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2019
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|