Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Simple item page
dc.contributor.authorMaurice H. ter Beek
dc.contributor.authorAlessio Ferrari
dc.date.accessioned2024-08-14T11:15:19Z
dc.date.available2024-08-14T11:15:19Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3743
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.ddc004
dc.titleEmpirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
dc.typepdf
dspace.entity.typeDistribution
relation.isDatasetOfDistributione76da3fc-a041-46bf-82db-f52c94c8e6a5
relation.isDatasetOfDistribution.latestForDiscoverye76da3fc-a041-46bf-82db-f52c94c8e6a5

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
software-01-04-00017.pdf
Size:
497.21 KB
Format:
Adobe Portable Document Format
Download

Collections

2022