Index Catalog // Hyrax

Borrar filtros

Filtrado por: Creador McCormick, Kyle D

Translating Alloy to SMT-LIB

Creador:

McCormick, Kyle D and Cinelli, Forrest C

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2018-03-23

Resource Type:

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

Palabra clave:

Public health, Community development, and Community engagement

Creador:

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

Advisor:

Rosbach, Derren and LePage, Suzanne

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2018-04-26

Resource Type:

Interactive Qualifying Project