Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

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: Harmim Dominik

Journal publisher: Brno University of Technology, Faculty of Information Technology

Published year: 2021