Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming.

Jiandong Li, Shaoying Liu

Browse the full QRS paper archive.