Benchmark Repository for Floating-Point Support in KeY
From MaRDI portal
(Redirected from Dataset:6726013)
DOI10.5281/zenodo.6572961Zenodo6572961MaRDI QIDQ6726013
Dataset published at Zenodo repository.
Author name not available (Why is that?)
Publication date: 13 October 2020
Copyright license: No records found.
The benchmark repository for the added floating-point support to the KeY deductive verifier
This page was built for dataset: Benchmark Repository for Floating-Point Support in KeY
