An Abstract Domain for Trees with Numeric Relations

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é, Abdelraouf Ouadjaout

Journal title: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Journal number: 11423

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 724-751

DOI identifier: 10.1007/978-3-030-17184-1_26

ISBN: 978-3-030-17183-4