default search action
BibTeX record conf/nctcs/WenWJLH23
@inproceedings{DBLP:conf/nctcs/WenWJLH23, author = {Hao Wen and Jinzhao Wu and Jianmin Jiang and Jianqing Li and Zhong Hong}, editor = {Zhiping Cai and Mingyu Xiao and Jialin Zhang}, title = {A Formal Approach for Traceability Preservation in Software Development Process}, booktitle = {Theoretical Computer Science - 41st National Conference, {NCTCS} 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1944}, pages = {18--35}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-981-99-7743-7\_2}, doi = {10.1007/978-981-99-7743-7\_2}, timestamp = {Mon, 08 Apr 2024 20:42:03 +0200}, biburl = {https://dblp.org/rec/conf/nctcs/WenWJLH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.