APA (7th ed.) Citation
Kloos, C., & Damm, W. (1997). Practical formal methods for hardware design. Springer Verlag.
Chicago Style (17th ed.) Citation
Kloos, C.Delgado, and W. Damm. Practical Formal Methods for Hardware Design. Berlin: Springer Verlag, 1997.
MLA (9th ed.) Citation
Kloos, C.Delgado, and W. Damm. Practical Formal Methods for Hardware Design. Springer Verlag, 1997.
Warning: These citations may not always be 100% accurate.