This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.
| Author: Carlos Delgado Kloos |
| Publisher: Springer |
| Publication Date: May 28, 1997 |
| Number of Pages: 293 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540620079 |
| ISBN-13: 9783540620075 |
Related Products
