Strategies for Introducing Formal Methods into the ADA Life Cycle

View/Open

TR-88-09.pdf (7.327Mb)

Downloads: 63

TR number

TR-88-09

Date

1988

Author

Lee, John A. N.

Nyberg, Karl

Metadata

Show full item record

URI

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

Collections

Computer Science Technical Reports [1023]