APA (7th ed.) Citation

(1997). Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (eds.).

Chicago Style (17th ed.) Citation

Practical Formal Methods for Hardware Design / C. Delgado Kloos, W. Damm (eds.). 1997.

MLA (9th ed.) Citation

Practical Formal Methods for Hardware Design / C. Delgado Kloos, W. Damm (eds.). 1997.

Warning: These citations may not always be 100% accurate.