Formal methods: practical applications and foundations
Crossref DOI link: https://doi.org/10.1007/s10703-021-00380-6
Published Online: 2021-07-06
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
ter Beek, Maurice H. http://orcid.org/0000-0002-2930-6367
McIver, Annabelle http://orcid.org/0000-0002-2405-9838
Text and Data Mining valid from 2021-07-06
Version of Record valid from 2021-07-06
Article History
Accepted: 17 June 2021
First Online: 6 July 2021
Free to read: This content has been made available to all.