Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Cita Chicago Style (17a ed.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
Cita MLA (9a ed.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Precaución: Estas citas no son 100% exactas.