%0 Journal Article %1 journals/tse/LuoLCLJ16 %A Luo, Hang %A Liu, Xue %A Chen, Xi %A Long, Ting %A Jiang, Ronghua %D 2016 %J IEEE Trans. Software Eng. %K %N 9 %P 866-885 %T Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs. %U http://dblp.uni-trier.de/db/journals/tse/tse42.html#LuoLCLJ16 %V 42

@article{journals/tse/LuoLCLJ16, added-at = {2023-12-13T00:47:21.000+0100}, author = {Luo, Hang and Liu, Xue and Chen, Xi and Long, Ting and Jiang, Ronghua}, biburl = {https://www.bibsonomy.org/bibtex/27151013e1c81fb3d0886969753901186/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2016.2521379}, interhash = {68684748b96a709f214b76e4d5e81ced}, intrahash = {7151013e1c81fb3d0886969753901186}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 9, pages = {866-885}, timestamp = {2023-12-13T00:47:21.000+0100}, title = {Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse42.html#LuoLCLJ16}, volume = 42, year = 2016 }