CONCORD: An environment of CONstruction, CORrection anD transformation of algorithms

• Autores: G. Levy, D. E. Zegour
• Localización: Information and software technology, ISSN 0950-5849, Vol. 40, Nº 5, 1998, págs. 281-290
• Idioma: inglés
• Texto completo no disponible (Saber más ...)