2 options
FormaliSE 2017 : 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering : proceedings : 27 May 2017, Buenos Aires, Argentina.
- Format:
- Book
- Conference/Event
- Conference Name:
- FME Workshop on Formal Methods in Software Engineering (5th : 2017 : Buenos Aires, Argentina)
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Software engineering--Congresses.
- Software engineering.
- Physical Description:
- 1 online resource (94 pages)
- Other Title:
- FormaliSE '17
- Place of Publication:
- Piscataway, New Jersey : IEEE Press, 2017.
- Notes:
- Includes index.
- Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 28, 2018).
- ISBN:
- 1-5386-0422-1
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.