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

Not registered as user

Name:Stephan Schulz

Contributions

2019

TACAS

  • Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track
Share
xWed 21 May 06:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up