EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Fatima Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Journal title: Tools and Algorithms for the Construction and Analysis of Systems

Journal number: April 22–27, 2023

Journal publisher: Springer

Published year: 2023

Published pages: 541-546

DOI identifier: 10.1007/978-3-031-30820-8_33

ISBN: 978-3-031-30819-2