2 options
Proceedings, Sixth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2008 : 10-14 November 2008, Cape Town, South Africa / editors, Antonio Cerone, Stefan Gruner ; sponsored by IEEE Computer Society [and others].
- Format:
- Book
- Conference/Event
- Conference Name:
- International Conference on Software Engineering and Formal Methods (6th : 2008 : Cape Town, South Africa)
- Language:
- English
- Subjects (All):
- Software engineering--Congresses.
- Software engineering.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource (xii, 393 pages) : illustrations
- Other Title:
- Sixth IEEE International Conference on Software Engineering and Formal Methods
- SEFM 2008
- Available from some providers with title: Software Engineering and Formal Methods, 2008, SEFM '08, Sixth IEEE International Conference on
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2008]
- System Details:
- text file
- Notes:
- "IEEE Computer Society Order Number P3437"--Title page verso.
- Includes bibliographical references and index.
- Print version record.
- Other Format:
- Print version: IEEE International Conference on Software Engineering and Formal Methods (6th : 2008 : Cape Town, South Africa). Proceedings, Sixth IEEE International Conference on Software Engineering and Formal Methods.
- OCLC:
- 299827550
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.