Paper Accepted by Form. Asp. Comput.

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.