Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill University.
IRUG Member Meeting
Www.inl.gov 2010 RELAP5 International Users Seminar September 20-23, 2010 West Yellowstone, Montana IRUG Member Meeting.