Advanced search

Theorem Provers in Circuit Design

(1992)
Editor
V STAVRIDOU, T MELHAM and (UGent)
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
STAVRIDOU, V, T MELHAM, and Raymond Boute, eds. 1992. “Theorem Provers in Circuit Design”. North-Holland.
APA
STAVRIDOU, V., MELHAM, T., & Boute, R. (Eds.). (1992). Theorem Provers in Circuit Design. North-Holland.
Vancouver
1.
STAVRIDOU V, MELHAM T, Boute R, editors. Theorem Provers in Circuit Design. North-Holland; 1992.
MLA
STAVRIDOU, V, T MELHAM, and Raymond Boute, eds. “Theorem Provers in Circuit Design.” 1992 : n. pag. Print.
@book{314603,
  editor       = {STAVRIDOU, V and MELHAM, T and Boute, Raymond},
  isbn         = {0-444-89686-4},
  pages        = {360 p},
  publisher    = {North-Holland},
  title        = {Theorem Provers in Circuit Design},
  year         = {1992},
}