Stephen Bale

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

John Hayward, Stephen Bale
Refinement of Z specifications using reusable software components in Ada. TRI-Ada (1995)