Cláudio Oliveira Amaral

Collaborator MSc
  • Amaral, C., Florido, M. and Costa, V. S. (2014). PrologCheck - Property-Based Testing in Prolog. FLOPS (pp. 1–17)

  • Jeuring, J., Jansson, P. and Amaral, C. (2012). Testing Type Class Laws. ACM SIGPLAN NOTICES, 47 (12), pp. 49-60

  • Amaral, C., Florido, M. and Jansson, P. (2011). Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop (pp. 92–93)


This member hasn't supervisions

Information not available