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

Godefroid, Patrice.

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / by: SpringerLink (Online service); Godefroid, Patrice.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入