%0 Conference Paper %1 conf/tase/DuHCW22 %A Du, Yide %A Hong, Weijiang %A Chen, Zhenbang %A Wang, Ji %B TASE %D 2022 %E Ameur, Yamine Aït %E Craciun, Florin %I Springer %K dblp %P 148-154 %T Collaborative Verification of Uninterpreted Programs. %U http://dblp.uni-trier.de/db/conf/tase/tase2022.html#DuHCW22 %V 13299 %@ 978-3-031-10363-6

@inproceedings{conf/tase/DuHCW22, added-at = {2024-03-05T00:00:00.000+0100}, author = {Du, Yide and Hong, Weijiang and Chen, Zhenbang and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2f72649905a0db16625578412108131e6/dblp}, booktitle = {TASE}, crossref = {conf/tase/2022}, editor = {Ameur, Yamine Aït and Craciun, Florin}, ee = {https://doi.org/10.1007/978-3-031-10363-6_10}, interhash = {960107357890305638fb8cc72031fe75}, intrahash = {f72649905a0db16625578412108131e6}, isbn = {978-3-031-10363-6}, keywords = {dblp}, pages = {148-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:48:28.000+0200}, title = {Collaborative Verification of Uninterpreted Programs.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2022.html#DuHCW22}, volume = 13299, year = 2022 }