Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
MLA-viite (9. p.)Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.