1 option
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems
- Format:
- Book
- Conference/Event
- Author/Creator:
- Leavens, Gary T.
- International Workshop on Specification and Verification of Component-Based Systems, Corporate Author.
- Conference Name:
- International Workshop on Specification and Verification of Component-Based Systems (2005 : Lisbon, Portugal)
- Series:
- ACM Conferences
- Language:
- English
- Physical Description:
- 1 online resource (95 pages)
- Other Title:
- SAVCBS '05
- Place of Publication:
- [Place of publication not identified] ACM 2005
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.