Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer McCormick, Kyle D

Translating Alloy to SMT-LIB

Schöpfer:

McCormick, Kyle D and Cinelli, Forrest C

Advisor:

Dougherty, Daniel J.

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2018-03-23

Resource Type:

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

Stichwort:

Public health, Community development, and Community engagement

Schöpfer:

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

Advisor:

Rosbach, Derren and LePage, Suzanne

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2018-04-26

Resource Type:

Interactive Qualifying Project