On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
Crossref DOI link: https://doi.org/10.1007/s13347-019-00364-9
Published Online: 2019-07-15
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Angius, Nicola http://orcid.org/0000-0002-7209-4400
Text and Data Mining valid from 2019-07-15
Version of Record valid from 2019-07-15
Article History
Received: 13 May 2019
Accepted: 3 July 2019
First Online: 15 July 2019