Media type: E-Article Title: The Importance of Being Formal Contributor: Frese, Udo; Hausmann, Daniel; Lüth, Christoph; Täubig, Holger; Walter, Dennis imprint: Elsevier BV, 2009 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/j.entcs.2009.09.006 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access