by A. Cunha, H. Pacheco
Reference:
A. Cunha, H. Pacheco, Mapping between Alloy Specifications and Database Implementations, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), IEEE, pp. 285 -294, 2009.
Bibtex Entry:
@inproceedings{CunhaPacheco:09,
author={Cunha, A. and Pacheco, H.},
booktitle={Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)},
title={Mapping between Alloy Specifications and Database Implementations},
year={2009},
publisher = {IEEE},
pages={285 -294},
url = {publications/sefm09.pdf},
}