Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

From MaRDI portal
(Redirected from Dataset:6722152)



DOI10.5281/zenodo.7528203Zenodo7528203MaRDI QIDQ6722152FDOQ6722152

Dataset published at Zenodo repository.

Shahar Maoz, Rafi Shalom

Publication date: 12 January 2023

Copyright license: Creative Commons Attribution 4.0 International



Description

Artifact for ICSE23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?







This page was built for dataset: Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Artifact_for_ICSE%2723_paper:_Which_of_My_Assumptions_are_Unnecessary_for_Realizability_and_Why_Should_I_Care%3F&oldid=54692033"
Powered by MediaWiki