Publicações

AuthID
P-00T-216

Author(s)

Tipo de Documento

Proceedings Paper

Year published

2022

Publicado

in SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423

Volume: 220, Páginas: 102829 (24)

Conference

23Rd Brazilian Symposium on Formal Methods (Sbmf), Date: NOV 25-27, 2020, Location: ELECTR NETWORK

Indexing

Wos^®

Scopus^®

Crossref^®

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.scico.2022.102829

DBLP: journals/scp/LiuMC22

SCOPUS: 2-s2.0-85131440382

Unpaywall: 10.1016/j.scico.2022.102829

Wos: WOS:000809779900002

Source Identifiers

ISSN: 0167-6423

Export Publication Metadata

Lista Marked

Info

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

Links Úteis