2 options
Proceedings of the 8th International Conference on Formal Methods in Software Engineering / Association for Computing Machinery.
- Format:
- Book
- Author/Creator:
- Association for Computing Machinery, author, issuing body.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Physical Description:
- 1 online resource (163 pages) : illustrations
- Other Title:
- 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering
- Place of Publication:
- New York, NY : Association for Computing Machinery, 2020.
- Notes:
- Description based on publisher supplied metadata and other sources.
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.