Index Catalog // Digital WPI

Start Over

Filtering by: Creator McDonald, Matthew Joseph Publisher Worcester Polytechnic Institute

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
Database Development and Management for Men on the Side of the Road Interactive Qualifying Project

Keyword:

Industrial relations and User-centered system design

Creator:

Wittenberg, Ryan William, Wojnowski, Melissa Ann, Poirier, Deanna Lemay, and McDonald, Matthew Joseph

Advisor:

Sakulich, Aaron R. and Smith, Alexander D.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-05-02

Resource Type:

Interactive Qualifying Project