Harlan D. Mills

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1975
Publication period end
1988
Number of co-authors
0

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Mills, Harlan D. (1988): Stepwise Refinement and Verification in Box-Structured Systems. In IEEE Computer, 21 (6) pp. 23-36.

Mills, Harlan D. (1975): The New Math of Computer Programming. In Communications of the ACM, 18 (1) pp. 43-48.