Index Catalog // Digital WPI

Start Over

Filtering by: Creator Antonatos, Spyridon Creator McDonald, Matthew Joseph Creator St. Pierre, Joseph Keenan Collections Major Qualifying Projects

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