SOFL: A Formal Engineering Methodology for Industrial Applications.

Shaoying Liu

Browse the full RE paper archive.