Richard A. Barker

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

Coauthor Index

1	Michael Healy	[1] [2]
2	Keith E. Williamson	[1] [2]