Jasmin Blanchette - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 21 Mar 2017

Name:Jasmin Blanchette

Country:Netherlands

Affiliation:Vrije Universiteit Amsterdam

Personal website: http://www.cs.vu.nl/~jbe248/

Research interests:Theorem Proving

Contributions

2019

TACAS

Extending a Brainiac Prover to Lambda-Free Higher-Order Logic

Show activities from other conferences

ETAPS 2019-profile
View general profile