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:20Z
dc.date.available2024-08-14T11:15:20Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3744
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.typesupplierxml
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
No Thumbnail Available
Name:
software-01-04-00017.xml
Size:
380.64 KB
Format:
Extensible Markup Language
Download

Collections

2022