%0 Conference Paper %1 conf/icmai2/YaoZT19 %A meng Yao, Meng %A Zhu, Ye %A Tang, Li %B ICMAI %D 2019 %I ACM %K dblp %P 141-145 %T Research on Formal Analysis Method of Computational Soundness Based on Strand Space. %U http://dblp.uni-trier.de/db/conf/icmai2/icmai2019.html#YaoZT19 %@ 978-1-4503-6258-0

@inproceedings{conf/icmai2/YaoZT19, added-at = {2023-09-27T00:00:00.000+0200}, author = {meng Yao, Meng and Zhu, Ye and Tang, Li}, biburl = {https://www.bibsonomy.org/bibtex/2903eac9fbe8d7bc6a416b0160939db89/dblp}, booktitle = {ICMAI}, crossref = {conf/icmai2/2019}, ee = {https://doi.org/10.1145/3325730.3325750}, interhash = {70f6d220d1e4fee3a90c878a4d876a5d}, intrahash = {903eac9fbe8d7bc6a416b0160939db89}, isbn = {978-1-4503-6258-0}, keywords = {dblp}, pages = {141-145}, publisher = {ACM}, timestamp = {2024-04-09T20:56:01.000+0200}, title = {Research on Formal Analysis Method of Computational Soundness Based on Strand Space.}, url = {http://dblp.uni-trier.de/db/conf/icmai2/icmai2019.html#YaoZT19}, year = 2019 }