Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.

Shaoying Liu

Browse the full ICFEM paper archive.