The knowledge modeling of bridge code for automated completeness checking.

Yang Xiao, Zongjian Li, Qin Zhao, Yaqin Chen, Hao Li

Browse the full CIS paper archive.