Browse by author
Lookup NU author(s): Dr Narges KhakpourORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Berthier N, Khakpour N
Editor(s): Dragoi, C., Emmi, M., Wang, J.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023)
Year of Conference: 2023
Pages: 66-90
Online publication date: 17/01/2023
Acceptance date: 21/10/2022
ISSN: 0302-9743
Publisher: Springer
URL: https://doi.org/10.1007/978-3-031-24950-1_4
DOI: 10.1007/978-3-031-24950-1_4
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783031249495
