Distribution
supplierxml.listelement.badge

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

No Thumbnail Available

Format

supplierxml

Authors

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

Description

Keywords

URI

https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3744

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