Index Catalog // Digital WPI

Start Over

Filtering by: Creator Richardson, Dylan 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
Trading System Development

Keyword:

Stocks and Stock exchanges

Creator:

Gonsalves, Manuel, Maier, Adam, and Richardson, Dylan

Advisor:

Radzicki, Michael J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2019-03-08

Resource Type:

Interactive Qualifying Project