Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador McCormick, Kyle D

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
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