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