Maintainability Assessment for SOFL Formal Specifications

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

Abstract is missing.