International Conference on Verified Software: Theories, Tools and Experiments ( Menlo Park, EUA), Cohen, E., & Rybalchenko, A. Verified Software: Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : 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 ( Menlo Park, EUA), Ernie Cohen, y Andrey Rybalchenko. Verified Software: Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers. Heidelberg, Alemania: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
International Conference on Verified Software: Theories, Tools and Experiments ( Menlo Park, EUA), et al. Verified Software: Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.