Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador McCormick, Kyle D

1. Translating Alloy to SMT-LIB

O Criador:: McCormick, Kyle D and Cinelli, Forrest C
Advisor:: Dougherty, Daniel J.
Editor:: Worcester Polytechnic Institute
Data Criada:: 2018-03-23
Resource Type:: Major Qualifying Project

2. Sustaining the Safety of Social Drinking Culture at WPI

Palavra-chave:: Public health, Community development, and Community engagement
O Criador:: Hard, Alexander Dallas, McCormick, Kyle D, Wensley, Daniel Jacob, and Sayers, Brian Thomas
Advisor:: Rosbach, Derren and LePage, Suzanne
Editor:: Worcester Polytechnic Institute
Data Criada:: 2018-04-26
Resource Type:: Interactive Qualifying Project