Specification and verification of component-based systems 2007
Abstract
SAVCBS is a workshop for research and experience reports on the specification and verification of component-based systems.
BibTeX
@inproceedings{Aldrich-al:FSE07,
author = {Jonathan Aldrich and
Michael Barnett and
Dimitra Giannakopoulou and
Gary T. Leavens and
Natasha Sharygina},
title = {Specification and verification of component-based systems 2007},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {609--610},
publisher = {{ACM}},
year = {2007},
}