Software verification and validation : realistic project approaches /

類似資料

• Software validation, verification, testing, and documentation /
  出版事項: (1986)
• An introduction to formal program verification /
  著者:: Mili, Ali
  出版事項: (1985)
• Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  出版事項: (1993)
• Proceedings of the ... International Software Metrics Symposium /
  出版事項: (1993)
• Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
  著者:: Godefroid, Patrice
  出版事項: (1996)