[1]
B. Barroca and V. Amaral, “Asserting the Correctness of Software Language Translations”,
ECEASST
, vol. 50, Jul. 2012.