Revising formal program specifications using KMTS
Paulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)
Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013
Acesso online. A biblioteca também possui exemplares impressos.