MDA-Based Re-engineering with Object-Z.

Jrn Guy S, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson

Browse the full MODELS paper archive.