Exportar referência
APA
Joana Campos, Vasco T. Vasconcelos, (2015). Imperative objects with dependent types. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15, -
IEEE
Joana Campos, Vasco T. Vasconcelos, "Imperative objects with dependent types" in Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15, Prague, Czech Republic, 2015, pp. -,
doi: 10.1145/2786536.2786538
BIBTEX
@InProceedings{50993,
author = {Joana Campos and Vasco T. Vasconcelos},
title = {Imperative objects with dependent types},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15},
year = 2015,
pages = {-},
address = {Prague, Czech Republic},
publisher = {ACM Press}
}