Berry, Gerard.
Overview
| Works: | 5 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service); CAV (Conference) (2001 :)
(Language materials, printed)