@inproceedings{inproceedingscf03ac3a,
title   = {Revising formal program specifications using KMTS},
author = {Oliveira, Paulo de Tarso Guerra and Andrade, Aline and Wassermann, Renata},
year = {2013},
publisher = {UNILOG},
booktitle   = {World Congress and School on Universal Logic}
}