Naval Postgraduate School
Toggle navigation
Dudley Knox Library
Toggle navigation
View Item
Calhoun Home
Faculty and Researchers
Faculty and Researchers Collection
View Item
Calhoun Home
Faculty and Researchers
Faculty and Researchers Collection
View Item
How to search in Calhoun
My Accounts
Ask a Librarian
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse
All of Calhoun
Collections
This Collection
My Account
Login
Register
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
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