Contributions to Conferences

back

Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving


Authors

  • Ermler, M.

Meta information [BibTeX]

  • Year: 2013, Reviewed
  • Hanus, M. and Rocha, R. (Editors)
  • In: Kiel Declarative Programming Days 2013
  • Conference: Kiel Declarative Programming Days 2013 in Kiel, Germany (September 11-13, 2013)
  • Series: Technical Report, Vol. 1306
  • Publisher: Christian-Albrechts-Universität zu Kiel, Kiel
  • Pages: 138-152



Arbeitsgruppe Theoretical Computer Science



Ermler, M.
Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving
In: Hanus, M.; Rocha, R. (eds.): Kiel Declarative Programming Days 2013. Christian-Albrechts-Universität zu Kiel, Kiel, 2013, pp. 138-152
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib