Thomas Ball, R. B. J. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu Chicago (wyd. 17)
Thomas Ball, Robert B. Jones. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Berlín, Alemania: Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu MLA (wyd. 9)
Thomas Ball, Robert B. Jones. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..