Cita APA

Galeotti, J. P., Furia, C. A., May, E., Fraser, G., & Zeller, A. (2015). Inferring loop invariants by mutation, dynamic analysis, and static checking. Web

Citación estilo Chicago

Galeotti, Juan Pablo, Carlo A. Furia, Eva May, Gordon Fraser, and Andreas Zeller. Inferring Loop Invariants By Mutation, Dynamic Analysis, and Static Checking. 2015.

Cita MLA

Galeotti, Juan Pablo, et al. Inferring Loop Invariants By Mutation, Dynamic Analysis, and Static Checking. 2015.