Madeira, A

artigo académico

• The Role of Logic Interpretation in Program Development .  Logical Methods in Computer Science.  2014