APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

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

MLA-referens (9:e uppl.)

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.