• Sign in
  • Sign up
conf.researchr.org / Stephan Schulz
  • ETAPS 2019 profile

Not registered as user yet

Name:Stephan Schulz

Contributions

TACAS 2019 Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track

Share
xTue 30 May 09:53
using conf.researchr.org (v1.60.0)
Support page
Sign Up