Industrial Applications of Software Synthesis via Category Theory - Case Studies Using Specware (2001)

by al
Venue:Journal of Automated Software Engineering