Somenzi, Fabio.
概観
| 著作: | 0 作品に 0 出版物中に 0 言語 | |
|---|---|---|
タイトル
Computer aided verification[electronic resource] /
…で:
Computer aided verification (International conference) (2003 Jul :); Hunt, Jr, Warren A.; Somenzi, Fabio.; SpringerLink (Online service)
(コンピュータ・メディア)