Crossmark

Challenges of software verification

Crossref DOI link: https://doi.org/10.1007/s10009-024-00778-7

Published Online: 2025-01-08

Published Print: 2024-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Arceri, Vincenzo

Negrini, Luca

Olivieri, Luca

Ferrara, Pietro
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2024-12-01
More Information

Article History

Accepted: 12 December 2024

First Online: 8 January 2025