O3.2-3: The DbSpec Executable Specification Language Publication details Publisher: Norsk Regnesentral Series: NR-notat () Year: 2023 Number of pages: 34 You are here: Home Publications Report O3.2-3: The DbSpec Executable Specification Language