Industrial applications of software synthesis via category theory -- case studies using specware
From MaRDI portal
Publication:5935933
DOI10.1023/A:1008759623876zbMath0963.68559OpenAlexW1534437842MaRDI QIDQ5935933
No author found.
Publication date: 1 July 2001
Published in: Automated Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008759623876
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Related Items (1)
Uses Software
This page was built for publication: Industrial applications of software synthesis via category theory -- case studies using specware
