root.skip-to-content
Log In
Log in with Shibboleth
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Browse TUstorage
Statistics
Log In
Log in with Shibboleth
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Home
Public Test Area
Distributionen
MDPI AG
Periodika
Software
2022
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Distribution
PDF
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Loading...
Format
pdf
Authors
Maurice H. ter Beek
Alessio Ferrari
Journal ISSN
Publisher
Dataset
No Thumbnail Available
Dataset
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
(
MDPI AG
,
2022
)
Maurice H. ter Beek
;
Alessio Ferrari
Show more
Description
Keywords
URI
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3743
Full item page
Files
Original bundle
Now showing
1 - 1 of 1
Loading...
Name:
software-01-04-00017.pdf
Size:
497.21 KB
Format:
Adobe Portable Document Format
Download