Formalization of regulations - Summer internship report Marion Steinriede Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat (DART/05/23) År: 2023 Utgave: DART/05/23 Antall sider: 8 Du er her: Hjem Publikasjoner Rapport Formalization of regulations – Summer internship report