Index Catalog // Digital WPI

Start Over

Filtering by: Creator Giannakopoulos, Theophilos John Publisher Worcester Polytechnic Institute Resource type Major Qualifying Project

1. Towards a Transition System Semantics for Alloy

Creator:: Giannakopoulos, Theophilos John
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-03-16
Resource Type:: Major Qualifying Project