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)

Jump to:navigation, search

DOI10.5281/zenodo.7528203ZenodoMaRDI QIDQ6722152FDO

Authors Shahar Maoz, Rafi Shalom

Publication date 12 January 2023

Copyright license Creative Commons Attribution 4.0 International

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"