Knowledge Graph Construction for SOFL Formal Specifications

Jiandong Li, Shaoying Liu, ai Liu, Runhe Huang. Knowledge Graph Construction for SOFL Formal Specifications. International Journal of Software Engineering and Knowledge Engineering, 32(4):605-644, 2022. [doi]

Abstract

Abstract is missing.