Publications

AuthID
P-00S-22Q

Author(s)

Almeida, B

Document Type

Proceedings Paper

Year published

2020

Published

in TACAS (2), ISSN: 03029743

Volume: 12079 LNCS, Pages: 39-56 (17)

Indexing

Scopus^®

Crossref^®7

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-45237-7_3

Dblp: conf/tacas/AlmeidaMV20

Scopus: 2-s2.0-85083968997

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links