%0 Journal Article %1 journals/fmsd/ChakiGS15 %A Chaki, Sagar %A Gurfinkel, Arie %A Strichman, Ofer %D 2015 %J Formal Methods Syst. Des. %K dblp %N 3 %P 287-301 %T Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd47.html#ChakiGS15 %V 47

@article{journals/fmsd/ChakiGS15, added-at = {2022-01-03T00:00:00.000+0100}, author = {Chaki, Sagar and Gurfinkel, Arie and Strichman, Ofer}, biburl = {https://www.bibsonomy.org/bibtex/2b3d23832f7bca30d0eff656d868c0d8a/dblp}, ee = {https://doi.org/10.1007/s10703-015-0237-0}, interhash = {679b901e4b4041503c63ae8f8a7f0cbe}, intrahash = {b3d23832f7bca30d0eff656d868c0d8a}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {287-301}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation).}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd47.html#ChakiGS15}, volume = 47, year = 2015 }