Treffer: Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021

Title:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
Authors:
Albarghouthi, Aws, Leino, Rustan, Silva, Alexandra, Urban, Caterina
Source:
Formal Methods in System Design ; volume 63, issue 1-3, page 1-4 ; ISSN 0925-9856 1572-8102
Publisher Information:
Springer Science and Business Media LLC
Publication Year:
2024
Document Type:
Fachzeitschrift article in journal/newspaper
Language:
English
DOI:
10.1007/s10703-024-00459-w
DOI:
10.1007/s10703-024-00459-w.pdf
DOI:
10.1007/s10703-024-00459-w/fulltext.html
Availability:
http://dx.doi.org/10.1007/s10703-024-00459-w
https://link.springer.com/content/pdf/10.1007/s10703-024-00459-w.pdf
https://link.springer.com/article/10.1007/s10703-024-00459-w/fulltext.html
Rights:
https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining
Accession Number:
edsbas.BB9B72D0
Database:
BASE