LC control no. | n 2001012541 |
---|---|
Personal name heading | Berry, Gérard, 1948- |
Found in | CAV (Conference) (13th : 2001 : Paris, France). Computer aided verification, 2001: CIP t.p. (Gérard Berry) t.p. verso (Esterel Technologies, Villeneuve-Loubet, France) data sheet (b. 12/25/48) |