Proc. 1st Intl. Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'11)

  • Armin Biere (Editor)
  • , M. Ganai (Editor)

Research output: Book › Anthology

Original languageGerman (Austria)
Publication statusPublished - Nov 2011

Fields of science

  • 102011 Formal languages
  • 102 Computer Sciences
  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this