Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

Jan Friso Groote (Redacteur), Kim Guldstrand Larsen (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Originele taal-2Engels
UitgeverijSpringer
ISBN van elektronische versie978-3-030-72016-2
ISBN van geprinte versie978-3-030-72015-5
DOI's
StatusGepubliceerd - 2021

Publicatie series

NaamLecture Notes in Computer Science
Volume12651
NaamTheoretical Computer Science and General Issues
Volume12651

Bibliografische nota

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Citeer dit