2 options
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) / IEEE/ACM International Conference on Formal Methods in Software Engineering.
- Format:
- Book
- Author/Creator:
- IEEE/ACM International Conference on Formal Methods in Software Engineering, author.
- Language:
- English
- Subjects (All):
- Software engineering--Congresses.
- Software engineering.
- Physical Description:
- 1 online resource (xii, 143 pages) : illustrations
- Place of Publication:
- New York, New York : IEEE Computer Society, 2024.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9798400705892
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.