Specification and verification of component-based systems 2007
Additional information
Authors
Aldrich J.,
Leavens G. T.,
Barnett M.,
Sharygina N.,
Giannakopoulou D.
Type
Article in conference proceedings
Year
2007
Language
English
Conference proceedings
ESEC/SIGSOFT FSE (Companion)
Pages (or article number)
609-610
