Software Certification Management: How Can Formal Methods Help?

@inproceedings{pub1887,
    author = {

Hutter, Dieter
},
    title = {Software Certification Management: How Can Formal Methods Help?},
    booktitle = {Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent), Long Beach},
    year = {2005},
    address = {Long Beach, USA}
}