Travelled to:1 × Canada
Collaborated with:D.S.Hardin M.Wilding
Talks about:transform (1) theorem (1) concept (1) vehicl (1) prover (1) design (1) digit (1) tool (1) road (1) off (1)
Person: David A. Greve
DBLP: Greve:David_A=
Contributed to:
1998Wrote 1 papers:
- CAV-1998-HardinWG #concept #design #proving #theorem proving
- Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle (DSH, MW, DAG), pp. 39–44.