Proc. 3rd Intl. Workshop on Bounded Model Checking (BMC'05)

Armin Biere (Editor)

Research output: BookAnthology

Original languageEnglish
PublisherElsevier
Number of pages90
Volume144
Publication statusPublished - 2005

Publication series

NameElectronic Notes in Theoretical Computer Science (ENTCS)

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 102031 Theoretical computer science
  • 603109 Logic
  • 202006 Computer hardware

Cite this