2 options
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings : May 25, 2013, San Francisco, CA, USA.
- Format:
- Book
- Conference/Event
- Conference Name:
- FME Workshop on Formal Methods in Software Engineering (1st : 2013 : San Francisco, Calif.)
- International Conference on Software Engineering (35th : 2013 : San Francisco, Calif.)
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Software engineering--Congresses.
- Software engineering.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource (various pagings) : illustrations
- Other Title:
- Available from some providers with title: Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on
- FME Workshop on Formal Methods in Software Engineering
- FormaliSE 2013
- Place of Publication:
- Piscataway, NJ : IEEE, [2013?]
- System Details:
- text file
- Notes:
- Co-located with ICSE 2013.
- "IEEE Catalog Number: CFP13ZAP-ART"
- Includes bibliographical references.
- Description based on online resource; title from PDF title page (IEEE Xplore, viewed Aug. 27, 2014).
- OCLC:
- 863087470
- 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.