Send email Copy Email Address
Placeholder
Research Assistant

Gideon Geier

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Gideon Geier

Year 2021

Conference / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Year 2019

Conference / Medium

FMCAD
Formal Methods in Computer Aided Design, FMCAD