%0 Journal Article %1 journals/spe/ZhongZHCLLL24 %A Zhong, Chenxing %A Zhang, He %A Huang, Huang %A Chen, Zhikun %A Li, Chao %A Liu, Xiaodong %A Li, Shanshan %D 2024 %J Softw. Pract. Exp. %K dblp %N 4 %P 595-616 %T DOMICO: Checking conformance between domain models and implementations. %U http://dblp.uni-trier.de/db/journals/spe/spe54.html#ZhongZHCLLL24 %V 54

@article{journals/spe/ZhongZHCLLL24, added-at = {2024-04-01T00:00:00.000+0200}, author = {Zhong, Chenxing and Zhang, He and Huang, Huang and Chen, Zhikun and Li, Chao and Liu, Xiaodong and Li, Shanshan}, biburl = {https://www.bibsonomy.org/bibtex/2b2fe9219525b1af8d1209ffac6959157/dblp}, ee = {https://doi.org/10.1002/spe.3272}, interhash = {c0417fac46b8a584aec9ddce38f4ace9}, intrahash = {b2fe9219525b1af8d1209ffac6959157}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 4, pages = {595-616}, timestamp = {2024-04-09T06:40:12.000+0200}, title = {DOMICO: Checking conformance between domain models and implementations.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe54.html#ZhongZHCLLL24}, volume = 54, year = 2024 }