%0 Conference Paper %1 conf/csae/ZhangCL18 %A Zhang, Tingrong %A Chen, Shuming %A Lv, Zhao %B CSAE %D 2018 %E Emrouznejad, Ali %E Qian, Zhihong %I ACM %K dblp %P 58:1-58:5 %T FAL-based High Reusability and Automated Verification Platform. %U http://dblp.uni-trier.de/db/conf/csae/csae2018.html#ZhangCL18 %@ 978-1-4503-6512-3

@inproceedings{conf/csae/ZhangCL18, added-at = {2021-06-10T00:00:00.000+0200}, author = {Zhang, Tingrong and Chen, Shuming and Lv, Zhao}, biburl = {https://www.bibsonomy.org/bibtex/2c7c017f506ffaec265e244b43d417d65/dblp}, booktitle = {CSAE}, crossref = {conf/csae/2018}, editor = {Emrouznejad, Ali and Qian, Zhihong}, ee = {https://doi.org/10.1145/3207677.3277944}, interhash = {d83bfc70e3a1e174895a9591555576a6}, intrahash = {c7c017f506ffaec265e244b43d417d65}, isbn = {978-1-4503-6512-3}, keywords = {dblp}, pages = {58:1-58:5}, publisher = {ACM}, timestamp = {2024-04-09T15:41:01.000+0200}, title = {FAL-based High Reusability and Automated Verification Platform.}, url = {http://dblp.uni-trier.de/db/conf/csae/csae2018.html#ZhangCL18}, year = 2018 }