International Conference on Verified Software: Theories, Tools and Experiments ( Viena, Austria), Vienna Summer of Logic, Giannakopoulou, D., & Kroening, D. Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
International Conference on Verified Software: Theories, Tools and Experiments ( Viena, Austria), Vienna Summer of Logic, Dimitra Giannakopoulou, y Daniel Kroening. Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers. Cham, Suiza: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
International Conference on Verified Software: Theories, Tools and Experiments ( Viena, Austria), et al. Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.