Cita APA

(2016). Automated technology for verification and analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings.

Citación estilo Chicago

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 2016.

Cita MLA

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 2016.