Formal Methods in System Design

October 2011, Volume 39, Issue 2, pp 115–116 | Cite as

Preface

• Authors
• Authors and affiliations

• Armin BiereEmail author
• Karen Yorav

Article

First Online: 27 October 2011

• 169 Downloads

Download to read the full article text

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

• Armin Biere
  • 1
  Email author
• Karen Yorav
  • 2

1. 1.Johannes Kepler UniversityLinzAustria
2. 2.IBMHaifaIsrael