cv-771E-6592-C2AB

publicações selecionadas

• artigo de conferência

  • Logic training through algorithmic problem solving.  International Journal on Software Tools for Technology Transfer. 2011
  • Camila Revival: VDM meets Haskell 2005