Practical Formal Methods for Hardware Design
Year: 1997
Type: book
Source: Springer eBooks
Authors: Carlos Delgado Kloos, Werner Damm
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W611995106