Details
- Title: 2009 Fourth South-East European Workshop on Formal Methods (SEEFM 2009)
- Date/Location: Held 4-5 December 2009, Thessaloniki, Greece.
- Editor: Dranidis, D.
- IEEE #: CFP0979I-POD
- ISBN: 9781424456178
- Pages: 79 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jul 2010 )
Description
Members/Attendees
Tab 4
- Title: 2009 Fourth South-East European Workshop on Formal Methods (SEEFM 2009)
- Date/Location: Held 4-5 December 2009, Thessaloniki, Greece.
- Editor: Dranidis, D.
- IEEE #: CFP0979I-POD
- ISBN: 9781424456178
- Pages: 79 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jul 2010 )