Saving safety from counterexamples
Crossref DOI link: https://doi.org/10.1007/s11229-018-1677-z
Published Online: 2018-01-16
Published Print: 2020-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Grundmann, Thomas http://orcid.org/0000-0002-7276-7345
Text and Data Mining valid from 2018-01-16
Version of Record valid from 2018-01-16
Article History
Received: 13 April 2017
Accepted: 3 January 2018
First Online: 16 January 2018