Challenges of Software Verification

MLA

Arceri, Vincenzo, et al. Challenges of Software Verification. Singapore: Springer, 2023.

APA

Arceri, V., Cortesi, A., Ferrara, P., & Olliaro, M. (2023). Challenges of Software Verification. Singapore: Springer.

Chicago

Arceri, Vincenzo., Agostino Cortesi, Pietro Ferrara, and Martina Olliaro. Challenges of Software Verification. Singapore: Springer, 2023.