Richard A. Barker

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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