Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Supplementary material for WasmRef-Isabelle
Conrad Watt
(Creator)
Maja Trela
(Creator)
Peter Lammich
(Creator)
Florian Märkl
(Creator)
Digital Society Institute
Formal Methods and Tools
University of Twente
Dataset
Overview
Description
Supplementary material for WasmRef-Isabelle
Date made available
11 Apr 2023
Publisher
Zenodo
DOI
10.5281/zenodo.7815662
Access Dataset
open
Version v1
Cite this
DataSetCite
Watt, C. (Creator), Trela, M. (Creator), Lammich, P. (Creator), Märkl, F. (Creator) (
11 Apr 2023
). Supplementary material for WasmRef-Isabelle. Zenodo.
10.5281/zenodo.7815662