Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

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: Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout

Journal title: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Journal number: 12031

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 1-18

DOI identifier: 10.1007/978-3-030-41600-3_1

ISBN: 978-3-030-41599-0