Cita APA

Kampmann, A., Galeotti, J. P., & Zeller, A. (2014). JTACO: Test Execution for Faster Bounded Verification. Web

Citación estilo Chicago

Kampmann, Alexander, Juan Pablo Galeotti, and Andreas Zeller. JTACO: Test Execution for Faster Bounded Verification. 2014.

Cita MLA

Kampmann, Alexander, Juan Pablo Galeotti, and Andreas Zeller. JTACO: Test Execution for Faster Bounded Verification. 2014.

Precaución: Estas citas no son 100% exactas.