Publications

Giving Alloy a Family

AuthID
P-008-K9G

Author(s)

Neves, R

Madeira, A

Martins, MA

Barbosa, LS

Document Type

Proceedings Paper

Year published

2013

Published

in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013 in IRI

Pages: 512-519

Conference

2013 Ieee 14Th International Conference on Information Reuse and Integration, Ieee Iri 2013, Date: 14 August 2013 through 16 August 2013, Location: San Francisco, CA, Sponsors: IEEE Computer Society;IEEE Systems, Man and Cybernetics Society (IEEE SMC);Society for Information Reuse and Integration (SIRI)

Indexing