Towards User-Friendly and Efficient Analysis with Alloy.

Xiaoliang Wang, Adrian Rutle, Yngve Lamo

Browse the full MODELS paper archive.