Richard A. Barker

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

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) (2001)
Keith E. Williamson, Michael Healy, Richard A. Barker
Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. ICSR (2000)