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

Ferreira, Joao F.

概要
作品: 1 作品在 1 項出版品 1 種語言
書目資訊
Formal methods teaching = 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / by: Formal Methods Teaching Workshop and Tutorial (2021 :); Ferreira, Joao F.; Mendes, Alexandra.; Menghi, Claudio.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入