SAVCBS'08 Specification and Verification of Component-Based Systems Workshop at SIGSOFT 2008/FSE 16 November 9-10, 2008

# Paper Formatting Details for SAVCBS Papers

## Overview

Finished papers are to be sent by email to Gary T. Leavens (leavens@eecs.ucf.edu).

Authors retain copyright to their own papers. Papers will be made available from the SAVCBS web site, and as a technical report from the University of Central Florida. Neither is considered a publication.

## Formatting Details for Authors

Final versions of papers should be in ACM Conference format.

Final versions of papers should omit page numbers. This is standard in the conference format.

We suggest that you include CR categories, general terms, and keywords in your document, as described in the ACM conference format.

### What Files to Send

Please send us a zip or tar file containing your sources, so that we can resolve any minor formatting issues in a timely fashion.

It will be most helpful to us if you name your file using the authors family names, separated by hyphens, such as Jones-Hoare.pdf and Jones-Hoare.zip.