DaftarIsitemplate

Call Number

Title

Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526

Author

Publisher

New York: The Association for Computing Machinery

Subject

Location