Contract Checking For Lazy Functional Languages

Tipo ID Título Ano DOI Estado Tese Importada do Authenticus? Participantes Participantes (Papel) Participantes (Afiliação) Indexação Classificação Científica Instituições
Tese 285783 Contract Checking For Lazy Functional Languages 2018 Versão Verificada Contract Checking For Lazy Functional Languages - Mestrado Não
  • Rui Jorge Santos Andrade
  • (Autor)
  • FCUP
  • FOS : Ciências exactas e naturais