Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems 2005, Lisbon, Portugal, September 05-06, 2005 /

Bibliographic Details
Corporate Author: Conference on Specification and Verification of Component-Based Systems Lisbon, Portugal
Other Authors: Leavens, Gary T
Format: Electronic Conference Proceeding Book
Language:English
Published: [New York, N.Y.] : ACM, c2006
Subjects:

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE