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
Tython v0.1
Manzi Aimé Ntagengerwa
(Creator)
Formal Methods and Tools
University of Twente
Dataset
Overview
Description
This is the version of Tython which produced the results used in the MSc thesis of Manzi Aimé Ntagengerwa.
Date made available
23 Aug 2024
Publisher
Zenodo
DOI
10.5281/zenodo.13366852
Access Dataset
Version v0.1
Version v0.1
Cite this
DataSetCite
Ntagengerwa, M. A. (Creator) (
23 Aug 2024
). Tython v0.1. Zenodo.
10.5281/zenodo.13366852