Abschnittsübersicht

    • Discussion on Article
    David Parnas: Really Rethinking 'Formal Methods'
    IEEE Computer: January 2010 (Vol. 43, No. 1) pp. 28-34