Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach.
Saved in:
| Title: | Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach. |
|---|---|
| Authors: | Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A. |
| Source: | ACM Transactions on Software Engineering & Methodology; October 2005, Vol. 14 Issue 4, p478-526, 49p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/1101815.1101819 |
