O3.2-3: The DbSpec Executable Specification Language Ivar Rummelhoff Thor O. Kristoffersen Bjarte M. Østvold Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat (DART/02/23) År: 2023 Utgave: DART/02/23 Antall sider: 34 Ivar Rummelhoff Seniorforsker Bjarte M. Østvold Ass. forskningssjef Du er her: Hjem Publikasjoner Rapport O3.2-3: The DbSpec Executable Specification Language