1 option
AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia
- Format:
- Book
- Conference/Event
- Conference Name:
- International Conference on Automated Software Engineering 2007
- Series:
- ACM Conferences
- Language:
- English
- Physical Description:
- 1 online resource (80 pages)
- Other Title:
- Automated Formal Methods '07
- Proceedings of the second Workshop on Automated Formal Methods
- Place of Publication:
- [Place of publication not identified] ACM 2007
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
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.