Index Catalog // Digital WPI

Start Over

Filtering by: Creator McDonald, Matthew Joseph Year 2019

Formal Verification of Boolean Unification Algorithms with Coq

Creator:

McDonald, Matthew Joseph, Antonatos, Spyridon, St. Pierre, Joseph Keenan, and Richardson, Dylan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2019-04-24

Resource Type:

Major Qualifying Project