Giving Alloy a family

Renato Neves, Alexandre Madeira, Manuel A. Martins. Giving Alloy a family. In IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013. pages 512-519, IEEE, 2013. [doi]

Authors

Renato Neves

This author has not been identified. Look up 'Renato Neves' in Google

Alexandre Madeira

This author has not been identified. Look up 'Alexandre Madeira' in Google

Manuel A. Martins

This author has not been identified. Look up 'Manuel A. Martins' in Google