Cita APA

Chakraborty, S., Gupta, A., & Unadkat, D. (2020). Verifying Array Manipulating Programs with Full-Program Induction. Tools and Algorithms for the Construction and Analysis of Systems.

Citación estilo Chicago

Chakraborty, Supratik, Ashutosh Gupta, y Divyesh Unadkat. "Verifying Array Manipulating Programs With Full-Program Induction." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Cita MLA

Chakraborty, Supratik, Ashutosh Gupta, y Divyesh Unadkat. "Verifying Array Manipulating Programs With Full-Program Induction." Tools and Algorithms for the Construction and Analysis of Systems 2020.