Style de citation APA (7e éd.)
Kloos, C., & Damm, W. (1997). Practical formal methods for hardware design. Springer Verlag.
Style de citation Chicago (17e éd.)
Kloos, C.Delgado, et W. Damm. Practical Formal Methods for Hardware Design. Berlin: Springer Verlag, 1997.
Style de citation MLA (9e éd.)
Kloos, C.Delgado, et W. Damm. Practical Formal Methods for Hardware Design. Springer Verlag, 1997.
Attention : ces citations peuvent ne pas être correctes à 100%.