Formalization of regulations - Summer internship report Marion Steinriede Publication details Publisher: Norsk Regnesentral Series: NR-notat (DART/05/23) Year: 2023 Issue: DART/05/23 Number of pages: 8 You are here: Home Publications Report Formalization of regulations – Summer internship report