Musard Balliu, Isabella Mastroeni. A Weakest Precondition Approach to Robustness. Transactions on Computational Science, 10:261-297, 2010. [doi]
@article{BalliuM10, title = {A Weakest Precondition Approach to Robustness}, author = {Musard Balliu and Isabella Mastroeni}, year = {2010}, doi = {10.1007/978-3-642-17499-5_11}, url = {http://dx.doi.org/10.1007/978-3-642-17499-5_11}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/BalliuM10}, cites = {0}, citedby = {0}, journal = {Transactions on Computational Science}, volume = {10}, pages = {261-297}, }