Formal Engineering for Industrial Software Development by Liu, Shaoying

Formal Engineering for Industrial Software Development Using the

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

Formal Engineering for Industrial Software Development: Using the Sofl Method

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

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

Liu - Engineering Trustworthy Software Systems First International S - X555z