On how verification tasks are related to verification procedures: a reply to Kotek et al.
Crossref DOI link: https://doi.org/10.1007/s11050-016-9130-7
Published Online: 2016-11-18
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hunter, Tim
Lidz, Jeffrey
Odic, Darko
Wellwood, Alexis
License valid from 2016-11-18