DMCA

Using Alloy to model-check visual design notations (2005)

by Anthony J. H. Simons , Carlos Alberto Fernandez-y-Fernandez
Citations:1 - 0 self