Publications

AuthID
P-00T-216

Author(s)

Document Type

Proceedings Paper

Year published

2022

Published

in SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423

Volume: 220, Pages: 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

Marked List

Info

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

Useful Links