A Specification Translation from Behavioral Specifications to Rewrite Specifications

• Autores: M. Nakamura
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 91, Nº 5, 2008, págs. 1492-1503
• Idioma: inglés
• Texto completo no disponible (Saber más ...)