PhDNFDIxCS Summer School 2025
Resources and insights from our participation in the NFDIxCS Summer School 2025, including the Formal Methods Playground, research papers, datasets, and a poster presentation.
PhD
PhD
PhD
PhD
PhDResources and insights from our participation in the NFDIxCS Summer School 2025, including the Formal Methods Playground, research papers, datasets, and a poster presentation.