(2002). Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings. Springer.
Chicago Stili AlıntıFormal Methods in Computer-aided Design: 4 Th Interntional Conference, FMCAD 2002 Portland, OR, USA,November 2002 Proceedings. Berlin: Springer, 2002.
MLA AlıntıFormal Methods in Computer-aided Design: 4 Th Interntional Conference, FMCAD 2002 Portland, OR, USA,November 2002 Proceedings. Springer, 2002.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..