Verifying Haskell programs by combining testing, model checking and interactive theorem proving

• Autores: Qiao Haiyan, Makoto Takeyama, Peter Dybjer
• Localización: Information and software technology, ISSN 0950-5849, Vol. 46, Nº 15, 2004, págs. 1011-1025
• Idioma: inglés
• Texto completo no disponible (Saber más ...)