Preface (2020)

First Author: Dongol B.

Attributed to: Verifiably Correct Transactional Memory funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85097408450

Type: Other

Volume: 12546 LNCS

Parent Publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 16113349 03029743