@article{Parnas_2010,
    title = {Really Rethinking “Formal Methods”},
    volume = {43},
    issn = {0018-9162},
    url = {http://dx.doi.org/10.1109/mc.2010.22},
    doi = {10.1109/mc.2010.22},
    number = {1},
    journal = {Computer},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    author = {Parnas, David Lorge},
    year = {2010},
    month = {jan},
    pages = {28–34},
    date-added = {2026-3-3 8:39:47 +0100}
}

@article{Parnas_2010, title = {Really Rethinking “Formal Methods”}, volume = {43}, issn = {0018-9162}, url = {http://dx.doi.org/10.1109/mc.2010.22}, doi = {10.1109/mc.2010.22}, number = {1}, journal = {Computer}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, author = {Parnas, David Lorge}, year = {2010}, month = {jan}, pages = {28–34}, date-added = {2026-3-3 8:39:47 +0100} }