Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort program synthesis Ressourcentyp Thesis

1. Alchemy: Transmuting Base Specifications into Implementations

Stichwort:: Alloy, program synthesis, and relational specification
Schöpfer:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2009-02-26
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science