Experimental comparison of the comprehensibility of a Z specification and its implementation in Java

• Autores: C.F. Snook, R. Harrison
• Localización: Information and software technology, ISSN 0950-5849, Vol. 46, Nº 14, 2004, págs. 955-971
• Idioma: inglés
• Texto completo no disponible (Saber más ...)