Dokumentuaren aipamena

APA (7th ed.) Zitazioa
Torres, D., Cortéz, J., & González, R. E. (2009). Semi-formal specifications and formal verification improving the digital design: Some statistics. Journal of Applied Research and Technology.
Chicago Style (17th ed.) Zitazioa
Torres, D., J. Cortéz, eta R. E. González. "Semi-formal Specifications and Formal Verification Improving the Digital Design: Some Statistics." Journal of Applied Research and Technology 2009.
MLA (9th ed.) Zitazioa
Torres, D., et al. "Semi-formal Specifications and Formal Verification Improving the Digital Design: Some Statistics." Journal of Applied Research and Technology, 2009.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.