Industrial applications of software synthesis via category theory (1999)

by K Williamson, M Healy
Venue:In Proc. of the 14 th IEEE Intl. Conf. on Automated Soft. Eng