How is ATL Really Used? Language Feature Use in the ATL Zoo.

Gehan M. K. Selim, James R. Cordy, Juergen Dingel

Browse the full MODELS paper archive.