Details
- Title: 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE 2025)
- Date/Location: Held 27-28 April 2025, Ottawa, Ontario, Canada.
- IEEE #: CFP25ZAP-POD
- ISBN: 9798331501761
- Pages: 157 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jul 2025 )
Description
Members/Attendees
Tab 4
- Title: 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE 2025)
- Date/Location: Held 27-28 April 2025, Ottawa, Ontario, Canada.
- IEEE #: CFP25ZAP-POD
- ISBN: 9798331501761
- Pages: 157 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jul 2025 )