Amanote Research
Register
Sign In
Towards Strong Higher-Order Automation for Fast Interactive Verification
doi 10.29007/3ngx
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Jasmin Christian Blanchette
Pascal Fontaine
Stephan Schulz
Uwe Waldmann
Publisher
EasyChair