Formal Engineering for Industrial Software Development by Liu, Shaoying

Formal Engineering For Industrial Software Development : Using The Sofl Metho...

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

Formal Engineering for Industrial Software Development: Using the Sofl Method

Liu - Engineering Trustworthy Software Systems First International S - X555z

Bjrner - VDM '90. VDM and Z - Formal Methods in Software Development - X555z

Liu - Formal Methods and Software Engineering 10th International Con - X555z