Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
| datacite.relatedItem.firstPage | 381 | |
| datacite.relatedItem.issue | 4 | |
| datacite.relatedItem.relatedIdentifierType | ISSN | |
| datacite.relatedItem.relatedItemIdentifier | 2674-113X | |
| datacite.relatedItem.relationType | IsPublishedIn | |
| datacite.relatedItem.title | Software | |
| datacite.relatedItem.volume | 1 | |
| dc.contributor.author | Maurice H. ter Beek | |
| dc.contributor.author | Alessio Ferrari | |
| dc.date.accessioned | 2024-08-14T11:15:19Z | |
| dc.date.available | 2024-08-14T11:15:19Z | |
| dc.date.issued | 2022 | |
| dc.identifier.doi | https://doi.org/10.3390/software1040017 | |
| dc.identifier.other | jz000089-0001 | |
| dc.identifier.uri | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3742 | |
| dc.publisher | MDPI AG | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.subject.ddc | 004 | |
| dc.title | Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods | |
| dc.type | Article | |
| dcat.distribution.pdf | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3743 | |
| dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3744 | |
| dspace.entity.type | Dataset | |
| relation.isDistributionOfDataset | 40a62858-0979-4e94-ad06-c725ef704df6 | |
| relation.isDistributionOfDataset | 0245cd2a-dfbd-424b-bbae-2765aac82ee0 | |
| relation.isDistributionOfDataset | cb84bb82-3630-4a5c-aea9-10931cd22980 | |
| relation.isDistributionOfDataset.latestForDiscovery | 40a62858-0979-4e94-ad06-c725ef704df6 | |
| wdm.archivematicaaipuuid.original | 91680ae4-52a2-48cd-a44f-82fb4197ed90 |