FORMAL ASPECTS OF COMPUTING

作者Dines Bjorner

作者单位1. Compute, Technical University of Denmark

作者Ian Hayes; Cliff Jones; Larissa Meinicke

作者单位1. School of Electrical Engineering and Computer Science, The University of Queensland; 2. School of Computing, Newcastle University

作者Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi

作者单位1. Department of Electrical and Computer Engineering, University of Science and Technology of Mazandaran; 2. Dipartimento di Meccanica, Politecnico di Milano

作者Naijun Zhan; Jim Woodcock; Ji Wang; Mingshuai Chen

作者单位1. School of Computer Science, Peking University; 2. Zhongguancun Laboratory; 3. Southwest University; 4. Department of Electrical and Computer Engineering, Aarhus University; 5. Computer Science, University of York; 6. State Key Laboratory for Complex & Critical Software Environment, College Computer Science and Technology, National University of Defense Technology; 7. College of Computer Science and Technology, Zhejiang University

作者Simone Martini

作者单位1. DISI, University of Bologna

作者Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari; Stefania Gnesi; Anne E. Haxthausen; Thierry Lecomte

作者单位1. CNR-ISTI; 2. University of Florence; 3. University College Dublin; 4. Technical University of Denmark; 5. CLEARSY Systems Engineering

作者Charles Pert; Dalal Alrajeh; Alessandra Russo

作者单位1. Department of Computing, Imperial College London

作者Nancy A. Lynch; Mark R. Tuttle

作者单位1. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology; 2. Amazon Web Services Inc

作者Ningning Chen; Huibiao Zhu; Jifeng He

作者单位1. University of Shanghai for Science and Technology; 2. East China Normal University; 3. East China Normal University, Shanghai, China

作者Anton Hampus; Mattias Nyberg

作者单位1. KTH Royal Institute of Technology; 2. TRATON AB