ACM Transactions on Computational Logic

作者Francesco Pontiggia; Ezio Bartocci; Michele Chiari

作者单位1. Institute of Computer Engineering (E191-01), TU Wien, Vienna, Austria; 2. Institute of Computer Engineering (E191-01), TU Wien, Vienna, Austria and Center for Digital Safety and Security, AIT Austrian Institute of Technology, Vienna, Austria

作者Tim S. Lyon; Piotr Ostropolski-Nalewaja

作者单位1. Technische Universität Dresden, Dresden, Germany; 2. University of Wrocław, Wroclaw, Poland

作者Qiancheng Fu; Hongwei Xi

作者单位1. Boston University, Boston, Massachusetts, USA

作者Dominique Unruh; Benoît Valiron; Mingsheng Ying

作者单位1. RWTH Aachen University, Aachen, Germany and University of Tartu, Tartu, Estonia; 2. Université Paris-Saclay, CentraleSupélec, Inria, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, France; 3. Centre for Quantum Software and Information, University of Technology Sydney, Broadway, Australia

作者Rodrigo Raya; Jad Hamza; Viktor Kunčak

作者单位1. EPFL, Lausanne, Switzerland and Universidad Politécnica de Madrid, Madrid, Spain; 2. EPFL, Lausanne, Switzerland

作者Laura Bozzelli; Adriano Peron; César Sánchez

作者单位1. DINF, Pegaso Telematic University, Naples, Italy; 2. Università degli Studi di Trieste, Trieste, Italy; 3. IMDEA Software Institute, Pozuelo de Alarcon, Madrid, Spain

作者Alberto Larrauri; Antoine Mottet; Stanislav Živný

作者单位1. University of Zaragoza, Zaragoza, Spain; 2. Hamburg University of Technology, Hamburg, Germany; 3. University of Oxford, Oxford, UK

作者Burak Ekici; Nobuko Yoshida

作者单位1. Department of Computer Science, University of Oxford, Oxford, United Kingdom

作者Ana Cavalcanti; Robert M Hierons

作者单位1. University of York, York, UK; 2. University of Sheffield, Sheffield, UK

作者George Barmpalias; Xiaoyan Zhang

作者单位1. Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, Beijing, China