Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Description
Toolbox-ID
jz000089-0001
Identifier(s)
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3742
Publisher
MDPI AG
License
https://creativecommons.org/licenses/by/4.0/
Subject(s)
DDC(s)
004