Details
- Title: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE 2018)
- Date/Location: Held 2 June 2018, Gothenburg, Sweden.
- IEEE #: CFP18ZAP-POD
- ISBN: 9781538661673
- Pages: 89 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jan 2019 )
Description
Members/Attendees
Tab 4
- Title: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE 2018)
- Date/Location: Held 2 June 2018, Gothenburg, Sweden.
- IEEE #: CFP18ZAP-POD
- ISBN: 9781538661673
- Pages: 89 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jan 2019 )