Publicações

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

AuthID
P-00Y-6GS

Author(s)

Barroso, P

Pereira, M

Ravara, A

Editor(es)

Lal,A;Tonetta,S

Tipo de Documento

Proceedings Paper

Year published

2023

Publicado

in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 13800, Páginas: 20-32 (13)

Conference

14Th International Working Conference on Verified Software - Theories, Tools and Experiments (Vstte), Date: OCT 17-18, 2022, Location: Trento, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-031-25803-9_2

SCOPUS: 2-s2.0-85151052410

Wos: WOS:001058578700002

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Leroy and Blazy Were Right: Their Memory Model Soundness Proof Is Automatable

Links Úteis

Ajuda