Paper Accepted by Form. Asp. Comput.

Our paper has been accepted by Formal Aspects of Computing.

Our paper titled “A Brief History of Formal Methods in China” by Naijun Zhan (PKU), Jim Woodcock (University of York), Ji Wang (NUDT), and Mingshuai Chen has been accepted for publication at Formal Aspects of Computing. This article provides a historical account of the development of formal methods in China.