Details
- Title: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
- Date/Location: Held 18 May 2015, Florence, Italy.
- IEEE #: CFP15ZAP-POD
- ISBN: 9781467370448
- Pages: 75 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Sep 2015 )
Description
Members/Attendees
Tab 4
- Title: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
- Date/Location: Held 18 May 2015, Florence, Italy.
- IEEE #: CFP15ZAP-POD
- ISBN: 9781467370448
- Pages: 75 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Sep 2015 )