Datasets
- 2 results
Search results
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Creator), Schou, M. K. (Creator), Srba, J. (Creator) & Traytel, D. (Creator), Zenodo, 2 Aug 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Dataset
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Creator), Massacci, F. (Creator), Lluch-Lafuente, A. (Creator) & Schlichtkrull, A. (Creator), IEEE DataPort, 15 Jul 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Dataset