Browsing Vitenskapelige tidsskriftartikler og konferanseartikler med fagfellevurdering (NVI-kategori) by Subject "Formal methods"
Now showing items 1-1 of 1
-
An Abstract Machine Approach to Preserving Digital Information
(Journal article; Peer reviewed, 2021)