Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng

Browse the full FASE paper archive.