FORMAL ASPECTS OF COMPUTING

作者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

作者James Woodcock; Peter Gorm Larsen

作者单位1. College of Software, Southwest University; 2. Department of Electrical and Computer Engineering, Aarhus University; 3. Computer Science, University of York; 4. No address; 5. Electrical and Computer Engineering, Aarhus Universitet Science and Technology

作者Krzysztof R. Apt

作者单位1. Centrum voor Wiskunde en Informatica; 2. MIMUW, University of Warsaw

作者George Granberry; Wolfgang Ahrendt; Moa Johansson

作者单位1. Computer Science and Engineering, Chalmers University of Technology

作者Logan Murphy; Torin Viger; Alessio Di Sandro; Aren Babikian; Marsha Chechik

作者单位1. Computer Science, University of Toronto

作者Danaël Carbonneau; Frederic Peschanski

作者单位1. Sorbonne Universite; 2. LIP6

作者Andrei Mogage; Dorel Lucanu

作者单位1. Computer Science, Alexandru Ioan Cuza University; 2. Bitdefender

作者Hao Wu; Yuxi Fu; Huan Long; Xian Xu; Wenbo Zhang

作者单位1. College of Information Engineering, Shanghai Maritime University; 2. BASICS, Shanghai Jiao Tong University; 3. East China University of Science and Technology; 4. Shanghai Ocean University

作者Martin Fränzle; Thomas Møller Grosen; Kim Guldstrand Larsen; Martin Zimmermann

作者单位1. Carl von Ossietzky Universitat Oldenburg; 2. Aalborg University