![]() | ![]() |
2001 | ||
---|---|---|
2 | Keith E. Williamson, Michael Healy, Richard A. Barker: Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. Autom. Softw. Eng. 8(1): 7-30 (2001) | |
2000 | ||
1 | Keith E. Williamson, Michael Healy, Richard A. Barker: Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. ICSR 2000: 58-73 |
1 | Michael Healy | [1] [2] |
2 | Keith E. Williamson | [1] [2] |