Index Catalog // Digital WPI

Start Over

Filtering by: Creator McCormick, Kyle D Publisher Worcester Polytechnic Institute

Translating Alloy to SMT-LIB

Creator:

McCormick, Kyle D and Cinelli, Forrest C

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-03-23

Resource Type:

Major Qualifying Project
Sustaining the Safety of Social Drinking Culture at WPI

Keyword:

Public health, Community development, and Community engagement

Creator:

Hard, Alexander Dallas, McCormick, Kyle D, Wensley, Daniel Jacob, and Sayers, Brian Thomas

Advisor:

Rosbach, Derren and LePage, Suzanne

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-04-26

Resource Type:

Interactive Qualifying Project