contact req.

Larry Wos (wos@mcs.anl.gov)
Wed, 3 May 1995 12:53:36 -0500


Can somebody tell me wo to cntact by email and by phone on the
interest to use a theorem prover for the hardware verification,
secifically, the recent e-mal on BBD's? Thaks. LW