Applying multiple program graphs to modify specifications

• Autores: Takahiro Nakanishi, Motoshi Saeki
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 83, Nº 4, 2000, págs. 669-678
• Idioma: inglés
• Texto completo no disponible (Saber más ...)