Browse
FAQ

Author

Shengchao Qin

3 books found

Cover of Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang · First published 2021

Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Shengchao Qin · First published 2011

Cover of Unifying Theories of Programming

Unifying Theories of Programming

Shengchao Qin · First published 2010