Mary Buchanan

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Mary Buchanan, Bob Dickerson, Carol Britton, Martin J. Loomes
Using CCS for the specification of inheritance. Microprocess. Microprogramming 39 (2-5) (1993)
Mary Buchanan, Carol Britton
Formal specification and object-oriented design. Microprocess. Microprogramming 34 (1-5) (1992)