Fully verifying transformation contracts for declarative ATL.

Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer

Browse the full MODELS paper archive.