%0 Journal Article %1 journals/scp/TranHNA20 %A Tran, Hoang-Viet %A Hung, Pham Ngoc %A Nguyen, Viet-Ha %A Aoki, Toshiaki %D 2020 %J Sci. Comput. Program. %K dblp %P 102439 %T A framework for assume-guarantee regression verification of evolving software. %U http://dblp.uni-trier.de/db/journals/scp/scp193.html#TranHNA20 %V 193

@article{journals/scp/TranHNA20, added-at = {2022-12-07T00:00:00.000+0100}, author = {Tran, Hoang-Viet and Hung, Pham Ngoc and Nguyen, Viet-Ha and Aoki, Toshiaki}, biburl = {https://www.bibsonomy.org/bibtex/2f4297ede06aca6b6ed4af208a252c5e4/dblp}, ee = {https://doi.org/10.1016/j.scico.2020.102439}, interhash = {a1a08fc84c29446996921954eac93310}, intrahash = {f4297ede06aca6b6ed4af208a252c5e4}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102439, timestamp = {2024-04-09T05:28:25.000+0200}, title = {A framework for assume-guarantee regression verification of evolving software.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp193.html#TranHNA20}, volume = 193, year = 2020 }