The Importance of Being Formal

@inproceedings{pub4425,
    author = {

Frese, Udo
 and 

Hausmann, Daniel
 and 

Lüth, Christoph
 and 

Täubig, Holger
 and 

Walter, Dennis
},
    editor = {

Huhn, M.
 and 

Hungar, H.
},
    title = {The Importance of Being Formal},
    booktitle = {Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), befindet sich ETAPS'08, March 29, Budapest, Hungary},
    year = {2009},
    volume = {238},
    number = {4},
    pages = {57--70},
    publisher = {Elsevier B.V.}
}