Access content directly
-
ASML Netherlands B.V.
-
ASML [VELDHOVEN]
-
Aalborg University [Denmark]
-
ActiveEon
-
Aix Marseille Université
-
Alma Mater Studiorum Università di Bologna = University of Bologna
-
Assistance à la Certification d’Applications DIstribuées et Embarquées
-
Beijing Institute of Technology
-
CASH - Compilation and Analysis, Software and Hardware
-
CISTER [Porto]
-
CITI Centre of Innovation in Telecommunications and Integration of services
-
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
-
COMmunications, Réseaux, systèmes Embarqués et Distribués
-
Center for Research & Development in Mathematics and Applications [Aveiro]
-
Centre National de la Recherche Scientifique
-
Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
-
Centrum Wiskunde & Informatica
-
Centrum voor Wiskunde en Informatica
-
Certus Centre for Software Validation and Verification
-
Chalmers University of Technology [Göteborg]
-
Combination of approaches to the security of infinite states systems
-
Computer Science and Engineering Department [Bucharest]
-
Computer Science department [Michigan Tech]
-
Construction of verified concurrent systems
-
Departamento de Ciência Da Computação [Rio de Janeiro]
-
Department of Computer Science
-
Department of Computer Science [Verona]
-
Department of Computer Science and Engineering
-
Department of Computer Science and Engineering [Göteborg]
-
Department of Computer Science and Engineering [New Delhi]
-
Department of Formal Methods
-
Department of Informatics [King's College London]
-
Department of Informatics [Sussex]
-
Department of Mathematics and Computer Science
-
Dipartimento di Matematica e Informatica
-
East China University of Science and Technology
-
Ecole Nationale Supérieure de Mécanique et des Microtechniques
-
Eindhoven University of Technology [Eindhoven]
-
Faculty of Computer Science and Engineering
-
Ferdowsi University of Mashhad
-
Foundations of Component-based Ubiquitous Systems
-
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
-
Google Inc.
-
Gran Sasso Science Institute
-
Göteborgs Universitet = University of Gothenburg
-
Halmstad University
-
Harbin Institute of Technology
-
Hasso Plattner Institute [Potsdam, Germany]
-
High-Assurance Software Laboratory [Braga, Portugal]
-
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
-
Indian Institute of Technology Delhi
-
Indraprastha Institute of Information Technology [New Delhi]
-
Inria Grenoble - Rhône-Alpes
-
Inria Lyon
-
Inria Nancy - Grand Est
-
Inria Saclay - Ile de France
-
Inria Sophia Antipolis - Méditerranée
-
Institut Galilée
-
Institut Mines-Télécom [Paris]
-
Institut National Polytechnique (Toulouse)
-
Institut National de Recherche en Informatique et en Automatique
-
Institut National des Sciences Appliquées
-
Institut National des Sciences Appliquées de Lyon
-
Institut de Mathématiques de Marseille
-
Institut de recherche en informatique de Toulouse
-
Institut polytechnique de Grenoble - Grenoble Institute of Technology
-
Institute for Systems and Computer Engineering, Technology and Science [Braga]
-
Institute for Systems and Computer Engineering, Technology and Science [Porto]
-
Institute for Theoritical Physics and Mathematics
-
Institute of Automation and Electrometry of the Siberian Branch of the RAS
-
Institute of Cybernetics [Tallinn]
-
International Institute for Software Technology [Macao]
-
Iran University of Science and Technology [Tehran]
-
Khatam University
-
King‘s College London
-
Laboratoire Lorrain de Recherche en Informatique et ses Applications
-
Laboratoire d'Algorithmique Complexité et Logique
-
Laboratoire d'Informatique de Grenoble
-
Laboratoire d'Informatique de Paris-Nord
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
-
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
-
Laboratoire de l'Informatique du Parallélisme
-
Leiden Institute of Advanced Computer Science [Leiden]
-
Linnaeus University
-
Max-Planck-Gesellschaft
-
Max-Planck-Institut für Informatik
-
Michigan State University System
-
Michigan State University [East Lansing]
-
Michigan Technological University