Efficient Analysis of DynAlloy Specifications.

Saved in:

Bibliographic Details
Title:	Efficient Analysis of DynAlloy Specifications.
Authors:	Frias, Marcelo F., Lopez Pombo, Carlos G., Galeotti, Jaun P.
Source:	ACM Transactions on Software Engineering & Methodology; Dec2007, Vol. 17 Issue 1, pD1-D34, 34p
Database:	Applied Science & Technology Source

Description
ISSN:	1049331X
DOI:	10.1145/1314493.1314497