Updates are available Correction dated 2022-12-20

Click to view Correction: https://doi.org/10.1007/978-3-030-38800-3_10

Logics for Software Engineering

Crossref DOI link: https://doi.org/10.1007/978-3-030-38800-3_2

Published Online: 2022-06-23

Published Print: 2022

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

About CrossMark