research
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
- Publication date
- 1 September 1994
- Publisher
- Monterey, California: Naval Postgraduate School.