Shaoying Liu

Shaoying Liu is the author of "Structured Object-Oriented Formal Language and Method", "Formal Methods and Software Engineering", "Formal Engineering for Industrial Software Development" and "First IEEE International Conference Conference [sic] on Formal Engineering...