Jiandong Li, Shaoying Liu. Requirements-related fault prevention during the transformation from formal specifications to programs. IET Software, 17(3):316-332, June 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.