Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments

View/Open

1994 Monterey Workshop (1).pdf (8.572Mb)

Download Record

Download to EndNote/RefMan (RIS)

Download to BibTex

Author

Luqi

Brockett, Jim

Date

1994-09

Metadata

Show full item record

URI

http://hdl.handle.net/10945/46655

Collections

• Faculty and Researchers Collection