Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador Cinelli, Forrest C Major Computer Science

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