%0 Conference Paper %1 conf/seke/LiYZ22 %A Li, Peimu %A Yin, Jiaqi %A Zhu, Huibiao %B SEKE %D 2022 %E Peng, Rong %E Pantoja, Carlos Eduardo %E Kamthan, Pankaj %I KSI Research Inc. %K dblp %P 363-368 %T Formal Verification of COCO Database Framework Using CSP. %U http://dblp.uni-trier.de/db/conf/seke/seke2022.html#LiYZ22 %@ 1-891706-54-3

@inproceedings{conf/seke/LiYZ22, added-at = {2022-09-21T00:00:00.000+0200}, author = {Li, Peimu and Yin, Jiaqi and Zhu, Huibiao}, biburl = {https://www.bibsonomy.org/bibtex/2e4e83fa03f15dd4372ede60c906ab7d6/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2022}, editor = {Peng, Rong and Pantoja, Carlos Eduardo and Kamthan, Pankaj}, ee = {https://doi.org/10.18293/SEKE2022-072}, interhash = {fb71d65620a0853e8cf27a3c9ac6b494}, intrahash = {e4e83fa03f15dd4372ede60c906ab7d6}, isbn = {1-891706-54-3}, keywords = {dblp}, pages = {363-368}, publisher = {KSI Research Inc.}, timestamp = {2024-04-09T11:51:09.000+0200}, title = {Formal Verification of COCO Database Framework Using CSP.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2022.html#LiYZ22}, year = 2022 }