Dissertação de mestrado Acesso restrito (UMinho)

Translating alloy specification to the point-free style

Orientador(es)