APA Citation

(2014). Computer aided verification: 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, proceedings.

Chicago Style Citation

Computer Aided Verification: 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings. 2014.

MLA Citation

Computer Aided Verification: 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings. 2014.

Warning: These citations may not always be 100% accurate.