Name Card

Full name Familienname, Vorname

Rodeh, Yoav

Main Affiliation Organisationszuordnung

Certora

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav	Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification	Inproceedings Konferenzbeitrag	3-Jun-2023