Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Van HORN
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Related publications
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Strong Higher-Order Automation for Fast Interactive Verification
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Verification Techniques for LOTOS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher Education—Educating for Higher Order Skills
Creative Education
Some Higher Order Integral Identities With Application to Bounding Techniques
Journal of Research of the National Bureau of Standards Section B Mathematics and Mathematical Physics
