Jiandong Li, Shaoying Liu. Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 359-367, IEEE, 2022. [doi]
Abstract is missing.