A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
Description
Toolbox-ID
jz000181-0027
Identifier(s)
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39770
Publisher
MDPI AG
License
https://creativecommons.org/licenses/by/4.0/
Subject(s)
DDC(s)
600