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

Havelund, Klaus.

概要
作品: 1 作品在 4 項出版品 1 種語言
書目資訊
Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: Havelund, Klaus.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2018 :) (書目-電子資源)
NASA formal methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: Havelund, Klaus.; Holzmann, Gerard.; Joshi, Rajeev.; SpringerLink (Online service) (書目-電子資源)
NASA formal methods = 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings / by: Havelund, Klaus.; SpringerLink (Online service); Deshmukh, Jyotirmoy.; NFM (Symposium) (2022 :); Perez, Ivan. (書目-電子資源)
SPIN model checking and software verification = 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / by: Havelund, Klaus.; Penix, John.; Visser, Willem.; SpringerLink (Online service); International SPIN Workshop (2000 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入