Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer Giannakopoulos, Theophilos John

Towards a Transition System Semantics for Alloy

Making the Link: Entrepreneurship in Costa Rica

Multi-Decision Policy and Policy Combinator Specifications