Peled, Doron, (1962-)

Software reliability methods / by: Peled, Doron, (1962-) (書目-語言資料,印刷品)

Computer aided verification16th international conference, CAV 2004 / by: (1998 :); Alur, Rajeev, (1966-); Peled, Doron, (1962-); SpringerLink (Online service) (書目-電子資源)