O3.2-3: The DbSpec Executable Specification Language Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat () År: 2023 Antall sider: 34 Du er her: Hjem Publikasjoner Rapport O3.2-3: The DbSpec Executable Specification Language