Exportar referência
APA
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido, (2023). Gradual Guarantee for FJ with lambda-Expressions. Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, -
IEEE
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido, "Gradual Guarantee for FJ with lambda-Expressions" in Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, Seattle WA USA, 2023, pp. -,
doi: 10.1145/3605156.3606453
BIBTEX
@InProceedings{61846,
author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido},
title = {Gradual Guarantee for FJ with lambda-Expressions},
booktitle = {Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs},
year = 2023,
pages = {-},
address = {Seattle WA USA},
publisher = {ACM}
}