期刊书目 › BOOKS with Alphabet C (Ca, Cb,Cc, Cd, Ce…... ) › Titlebook: Challenges of Software Verification; Vincenzo Arceri,Agostino Cortesi,Martina Olliaro Book 2023 The Editor(s) (if applicable) and The Auth

Basal-Ganglia 发表于 2025-3-30 11:34:00

http://reply.papertrans.cn/23/2236/223515/223515_51.png

支架 发表于 2025-3-30 13:41:35

http://reply.papertrans.cn/23/2236/223515/223515_52.png

合并 发表于 2025-3-30 18:23:28

http://reply.papertrans.cn/23/2236/223515/223515_53.png

查看完整版本: Titlebook: Challenges of Software Verification; Vincenzo Arceri,Agostino Cortesi,Martina Olliaro Book 2023 The Editor(s) (if applicable) and The Auth