Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
MLA-viite (8. p.)Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.