Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationRebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
MLA (8th ed.) CitationRebelo. 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.