Full name Familienname, Vorname

Amrollahi, Daneshvar

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Hozzová, Petra ; Amrollahi, Daneshvar ; Hajdu, Márton ; Kovács, Laura ; Voronkov, Andrei ; Wagner, Eva Maria	Synthesis of Recursive Programs in Saturation	Inproceedings Konferenzbeitrag	2024