Details
- Title: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)
- Date/Location: Held 15-19 November 2006, Paphos, Cyprus.
- IEEE #: CFP06ISO-POD
- ISBN: 9781424430161
- Pages: 473 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Mar 2009 )
Description
Members/Attendees
Tab 4
- Title: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)
- Date/Location: Held 15-19 November 2006, Paphos, Cyprus.
- IEEE #: CFP06ISO-POD
- ISBN: 9781424430161
- Pages: 473 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Mar 2009 )