Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

MLA

Bloem, Roderick, et al. Software Verification : 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th International Workshop, Nsv 2021, Los Angeles, Ca, Usa, July 18-19, 2021, Revised Selected Papers. Cham: Springer International Publishing AG, 2022.

APA

Bloem, R., Dimitrova, R., Fan, C., & Sharygina, N. (2022). Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Cham: Springer International Publishing AG.

Chicago

Bloem, Roderick., Rayna Dimitrova, Chuchu Fan, and Natasha Sharygina. Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Cham: Springer International Publishing AG, 2022.