Yu Du, Shaoying Liu. Maintainability Assessment for SOFL Formal Specifications. In 10th International Conference on Dependable Systems and Their Applications, DSA 2023, Tokyo, Japan, August 10-11, 2023. pages 680-687, IEEE, 2023. [doi]
Abstract is missing.