Stepwise Refinement and Verification in Box-Structured Systems

Date Issued

June 1, 1988

Author(s)

Mills, Harlan D.

Permanent URI

https://trace.tennessee.edu/handle/20.500.14382/46754

Disciplines

Software Engineering

Comments

Computer 21:6, pp 23-36

Embargo Date

October 4, 2011

File(s)

Name

Stepwise1988.pdf

Size

1.11 MB

Format

Adobe PDF

Checksum (MD5)

491568f5cad42a474e767ff698b2ca5e