A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures

Daniel DunbarThomas HagedornMark BlackburnDinesh Verma2025-05-222025-05-22https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39772600A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structuressupplierxml