DOMICO: Checking conformance between domain models and implementations

Open Webpage

Chenxing Zhong, He Zhang, Huang Huang, Zhikun Chen, Chao Li, Xiaodong Liu, Shanshan Li

Published: 01 Jan 2024, Last Modified: 22 Jul 2025Softw. Pract. Exp. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0