APA
Roop P., ACM Special Interest Group on Design Automation & ACM Special Interest Group on Embedded Systems. (2019). Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York,NY,United States: Association for Computing Machinery.
Chicago
Roop Partha, ACM Special Interest Group on Design Automation and ACM Special Interest Group on Embedded Systems. 2019. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York,NY,United States: Association for Computing Machinery.
Harvard
Roop P., ACM Special Interest Group on Design Automation and ACM Special Interest Group on Embedded Systems. (2019). Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York,NY,United States: Association for Computing Machinery.
MLA
Roop Partha, ACM Special Interest Group on Design Automation and ACM Special Interest Group on Embedded Systems. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York,NY,United States: Association for Computing Machinery. 2019.