Exportar referência
APA
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, (2021). LiquidJava: Adding Lightweight Verification to Java. INFORUM, -
IEEE
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, "LiquidJava: Adding Lightweight Verification to Java" in INFORUM, , 2021, pp. -,
doi:
BIBTEX
@InProceedings{52932,
author = {Catarina Gamboa and Paulo Canelas Santos and Christopher Timperley and Alcides Fonseca},
title = {LiquidJava: Adding Lightweight Verification to Java},
booktitle = {INFORUM},
year = 2021,
pages = {-},
address = {},
publisher = {}
}