Industrial applications of software synthesis via category theory -- case studies using specware
From MaRDI portal
Publication:5935933
DOI10.1023/A:1008759623876zbMath0963.68559MaRDI 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
Related Items
Uses Software