APA-viite (7. p.)

Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).

Chicago-viite (17. p.)

Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).

MLA-viite (8. p.)

Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design. Association for Computing Machinery (ACM).

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.