Jinyun Xue

Shaoying Liu

Zhenhua Duan

Fumiko Nagoya

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Structured Object-Oriented Formal Language and Method

Ding-Zhu Du

Manindra Agrawal

Angsheng Li

This proceedings volume examines all major areas in computer science, mathematics (especially logic) and the physical sciences, especially computation, algorithms, complexity and computability theory.

5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings

Theory and Applications of Models of Computation

Cong Tian

This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi’an, China, in July 2019. The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory.

25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Computing and Combinatorics

Luke Ong

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering

Zhenhua Duan

Books

Your next favorite book is out there