@base . a ; "clockss" ; "CLOCKSS Archive" . a ; . a . a ; "scholarsportal" ; "Scholars Portal" . a ; "20231129100109.679507"^^ ; ; . , ; "High-confidence computing." ; ; ; ; ; "High-confidence computing" , "High-confidence computing." ; ; [ a ; "1 to 3" ; "Preserved" ; "2024-03-25"^^ ; "1 to 3" ; ; [ "2667-2952" ; "High-Confidence Computing" ; "Elsevier" ] ; "2019/2023" ] ; [ a ; "Preserved : 1 to 3" ; "Preserved" ; "2024-03-02"^^ ; "Preserved : 1 (1, 2); 2 (1 to 4); 3 (1 to 4)" ; ; [ "2667-2952" ; "High-Confidence Computing" ; "Elsevier" ] ; "2021/2023" ] ; [ a ; "Preserved : 2021: 1, 2022: 2, 2023: 3" ; "Preserved" ; "2024-03-26"^^ ; "Preserved : 2021: 1(1-2), 2022: 2(1-4), 2023: 3(1-2, 4)" ; ; [ "2667-2952" ; "High-Confidence Computing" ; "Elsevier" ] ; "2021/2023" ] ; "https://www.sciencedirect.com/journal/high-confidence-computing" . a ; "portico" ; "Portico" . "Netherlands" . a ; "2667-2952" ; . a , ; "High-confidence computing" . .