Registered user since Thu 31 Jan 2019

Name:Florian Schanda
Country:Germany
Affiliation:Zenuity
Research interests:Formal Methods, Deductive Verification, Floating Point, SMT

Contributions