Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.
Lua i Stíl Chicago (17ú heag.)Ostroff, J., C. Wang, E. Kerfoot, agus F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.
Lua MLA (9ú heag.)Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.