Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma. A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures. Systems, 12(1):27, 2024. [doi]
@article{DunbarHBV24,
title = {A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures},
author = {Daniel Dunbar and Thomas J. Hagedorn and Mark R. Blackburn and Dinesh Verma},
year = {2024},
doi = {10.3390/systems12010027},
url = {https://doi.org/10.3390/systems12010027},
researchr = {https://researchr.org/publication/DunbarHBV24},
cites = {0},
citedby = {0},
journal = {Systems},
volume = {12},
number = {1},
pages = {27},
}