Cita APA

(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.

Citación estilo Chicago

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.

Cita MLA

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.