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.