Introdução a Alloy

Leituras

Leituras recomendadas

  • Alloy FAQ
  • Tutorial para o Alloy Analyzer tutorial, por Greg Dennis e Rob Seater [parte 1, parte 2]

Materiais