International Conference on Computer Aided Verification ( Viena, Austria), Biere, A., & Bloem, R. 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. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
International Conference on Computer Aided Verification ( Viena, Austria), Armin Biere, y Roderick Bloem. 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. Cham, Suiza: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
International Conference on Computer Aided Verification ( Viena, Austria), et al. 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. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.