Author

Shaoying Liu

Books6

Typical spice

Nothing rated yet

Software Fault Prevention, Verification, and Validation

2025

not rated yet

Agile-SOFL

2024

not rated yet

Structured Object-Oriented Formal Language and Method

2013

not rated yet

Structured Objectoriented Formal Language And Method

2013

not rated yet

Formal Methods and Software Engineering

2008

not rated yet

Formal engineering for industrial software development

2004

not rated yet