語系
跳至 : 概要 | 書目資訊 | 主題

ISoLA (Symposium) (2022 :)

概要
作品: 1 作品在 4 項出版品 1 種語言
書目資訊
Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV / by: ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入