Details
- Title: 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013)
- Date/Location: Held 25 May 2013, San Francisco, California, USA.
- IEEE #: CFP13ZAP-POD
- ISBN: 9781467362917
- Pages: 70 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Nov 2013 )
Description
Members/Attendees
Tab 4
- Title: 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013)
- Date/Location: Held 25 May 2013, San Francisco, California, USA.
- IEEE #: CFP13ZAP-POD
- ISBN: 9781467362917
- Pages: 70 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Nov 2013 )