Finiteness and Bounds of Complete Test Point Sets for Program Verification

View/Open

CS76003-R.pdf (296.2Kb)

Downloads: 220

TR number

CS76003-R

Date

1976

Author

Martin, Johannes J.

Metadata

Show full item record

URI

http://hdl.handle.net/10919/20268

Collections

Computer Science Technical Reports [1028]