Mapping between Alloy Specifications and Database Implementations.

Alcino Cunha, Hugo Pacheco

Browse the full SEFM paper archive.