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

Havelund, Klaus.

概要
作品: 5 作品在 4 項出版品 1 種語言
書目資訊
NASA formal methods14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings / by: (1998 :); Deshmukh, Jyotirmoy.; Havelund, Klaus.; Perez, Ivan.; SpringerLink (Online service) (書目-電子資源)
SPIN model checking and software verification7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / by: (1998 :); Havelund, Klaus.; Penix, John.; SpringerLink (Online service); Visser, Willem. (書目-電子資源)
NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: (1998 :); Havelund, Klaus.; Holzmann, Gerard.; Joshi, Rajeev.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入