Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Citación estilo ChicagoRebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Cita MLARebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Warning: These citations may not always be 100% accurate.