"CPR-A Comprehensible Provenance Record for Verification Workflows in Whole ..."

Timothy M. McPhillips et al. (2021)

Details and statistics

DOI: 10.1007/978-3-030-80960-7_23

access: closed

type: Conference or Workshop Paper

metadata version: 2021-07-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics