Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Citace podle Chicago (17th ed.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
Citace podle MLA (9th ed.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..