Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.
Citace podle Chicago (17th ed.)Ostroff, J., C. Wang, E. Kerfoot, a F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.
Citace podle MLA (9th ed.)Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..