Publication Date

10-14-2001

Technical Report Number

TR01-09

Subjects

Software, Theory of Computation

Abstract

These are the proceedings of the Workshop on Specification and Verification of Component-Based Systems. The workshop was held at OOPSLA 2001.

Share

COinS