Electronic Notes in Theoretical Computer Science: Preface

Per Bjesse, Alessandro Cimatti, Koen Claessen, Ranan Fraer, Danny Geist, Alan Hu, Sharad Malik, Joo Marques Silva, Ken McMillan, Fabio Somenzi, Yunshan Zhu, Armin Biere, Ofer Strichman

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish (US)
Pages (from-to)1
Number of pages1
JournalElectronic Notes in Theoretical Computer Science
Issue number2
StatePublished - Mar 14 2005
EventProceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004). -
Duration: Jul 18 2004Jul 18 2004

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Electronic Notes in Theoretical Computer Science: Preface'. Together they form a unique fingerprint.

Cite this