O3.2-3: The DbSpec Executable Specification Language Ivar Rummelhoff Thor O. Kristoffersen Bjarte M. Østvold Publication details Publisher: Norsk Regnesentral Series: NR-notat (DART/02/23) Year: 2023 Issue: DART/02/23 Number of pages: 34 Ivar Rummelhoff Senior Research Scientist Bjarte M. Østvold Asst. Research Director You are here: Home Publications Report O3.2-3: The DbSpec Executable Specification Language