Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Cita Chicago Style (17a ed.)Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Cita MLA (8a ed.)Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Precaución: Estas citas no son 100% exactas.