Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Chicago (17e ed.) BronvermeldingStavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA (9e ed.) BronvermeldingStavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Let op: Deze citaties zijn niet altijd 100% accuraat.