Publications

AuthID
P-00W-1NH

Author(s)

Campos, S

Santiago, R

Figueiredo, D

Document Type

Article

Year published

2022

Published

in SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423

Volume: 216, Pages: 102776 (28)

Conference

7Th International Conference on Rigorous State-Based Methods (Abz), Date: MAY 27-29, 2020, Location: Ulm, GERMANY

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.scico.2022.102776

DBLP: journals/scp/CamposSMF22

SCOPUS: 2-s2.0-85123616412

Wos: WOS:000760335200003

Source Identifiers

ISSN: 0167-6423

Export Publication Metadata

Marked List

Info

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

Useful Links