![](/img/cover-not-exists.png)
[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Mapping between Alloy Specifications and Database Implementations
Cunha, Alcino, Pacheco, HugoYear:
2009
Language:
english
DOI:
10.1109/sefm.2009.27
File:
PDF, 786 KB
english, 2009