%0 Conference Paper %1 conf/wcre/GeWZZZL22 %A Ge, Ning %A Wang, Ze %A Zhang, Li %A Zhao, Jiuang %A Zhou, Yufei %A Liu, Zewei %B SANER %D 2022 %I IEEE %K dblp %P 566-576 %T ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code. %U http://dblp.uni-trier.de/db/conf/wcre/saner2022.html#GeWZZZL22 %@ 978-1-6654-3786-8

@inproceedings{conf/wcre/GeWZZZL22, added-at = {2023-03-06T00:00:00.000+0100}, author = {Ge, Ning and Wang, Ze and Zhang, Li and Zhao, Jiuang and Zhou, Yufei and Liu, Zewei}, biburl = {https://www.bibsonomy.org/bibtex/2cb9fedbd5b712af53fbea3d1b29462f7/dblp}, booktitle = {SANER}, crossref = {conf/wcre/2022}, ee = {https://doi.org/10.1109/SANER53432.2022.00074}, interhash = {b0df7d080cc30e19c85ae8c607bdd301}, intrahash = {cb9fedbd5b712af53fbea3d1b29462f7}, isbn = {978-1-6654-3786-8}, keywords = {dblp}, pages = {566-576}, publisher = {IEEE}, timestamp = {2024-04-09T14:12:51.000+0200}, title = {ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code.}, url = {http://dblp.uni-trier.de/db/conf/wcre/saner2022.html#GeWZZZL22}, year = 2022 }