From Domain to Requirements

DOI10.1007/978-3-540-68679-8_18zbMATH Open1143.68372OpenAlexW2148938144MaRDI QIDQ3507370

Dines Bjørner

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1842/3719

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (1)

Domain Endurants

Uses Software

• CafeOBJ

This page was built for publication: From Domain to Requirements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507370)