Editorial

Formal Aspects of Computing - Tập 33 - Trang 299-300 - 2021
Xiaoping Chen1, Zhiming Liu2, Ji Wang3, Jim Woodcock4
1School of Computer, University of Science and Technolog, Anhui, China
2School of Software, Northwest Polytechnical University, Xi’an, China
3State Key Laboratory of High Performance Computing, University of National Defence Technology, Changsha, China
4Department of Computer Science, University of York, York, UK

Thông tin
Thông tin xuất bản

Formal Aspects of Computing

Tập 33

299-300

Thông tin tác giả