Vasco Moreira Amaral

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Bruno Fontes Barroca, Vasco Moreira Amaral
Asserting the Correctness of Software Language Translations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)