Revising formal program specifications using KMTS

• Author(s): Wassermann, Renata
• Date: 2013
• Origin: Oasisbr
• Subject(s): REPRESENTAÇÃO DE CONHECIMENTO
• Document Type: Other
• Language: English