Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Editorial

Open access

Christel Baier and Cesare Tinelli

Acta informatica, Vol.54(8), pp.727-728

12/2017

DOI: 10.1007/s00236-017-0298-1

Files and links (1)

url

https://doi.org/10.1007/s00236-017-0298-1View

Published (Version of record) Open Access

Computer Science

Computer Systems Organization and Communication Networks

Data Structures, Cryptology and Information Theory

Software Engineering/Programming and Operating Systems

Theory of Computation

Information Systems and Communication Service

Logics and Meanings of Programs

Title: Subtitle: Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Creators: Christel Baier - TU Dresden Dresden Germany
Cesare Tinelli - The University of Iowa Iowa City IA USA
Resource Type: Editorial
Publication Details: Acta informatica, Vol.54(8), pp.727-728
DOI: 10.1007/s00236-017-0298-1
ISSN: 0001-5903
eISSN: 1432-0525
Publisher: Springer Berlin Heidelberg; Berlin/Heidelberg
Language: English
Date published: 12/2017
Academic Unit: Computer Science
Record Identifier: 9984002316002771

72 Record Views