APA Style

Formal Methods Industrial Use From Model to the Code. (2012). United States of America: John Wiley & Inc..

MLA Style

Formal Methods Industrial Use From Model to the Code. . United States of America: John Wiley & Inc., 2012. Text.