Citação norma APA
Kloos, C., & Damm, W. (1997). Practical formal methods for hardware design. Springer Verlag.
Citação norma Chicago
Kloos, C.Delgado, and W. Damm. Practical Formal Methods for Hardware Design. Berlin: Springer Verlag, 1997.
Citação norma MLA
Kloos, C.Delgado, and W. Damm. Practical Formal Methods for Hardware Design. Springer Verlag, 1997.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.