Analyzing architectural styles with alloy.

Jung Soo Kim, David Garlan

Browse the full ISSTA paper archive.