H. J. Litteck

Publication Activity (10 Years)

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

Publications

H. J. Litteck, Peter J. L. Wallis
Refinement methods and refinement calculi. Softw. Eng. J. 7 (3) (1992)