APA (7th ed.) Citation

Gnesi, S., & Margaria-Steffen, T. (2012). Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria: A survey of applications. John Wiley and Sons Incorporated.

Chicago Style (17th ed.) Citation

Gnesi, Stefania, and Tiziana Margaria-Steffen. Formal Methods for Industrial Critical Systems : A Survey of Applications / Edited by Stefania Gnesi, Tiziana Margaria: A Survey of Applications. Hoboken, New Jersey: John Wiley and Sons Incorporated, 2012.

MLA (9th ed.) Citation

Gnesi, Stefania, and Tiziana Margaria-Steffen. Formal Methods for Industrial Critical Systems : A Survey of Applications / Edited by Stefania Gnesi, Tiziana Margaria: A Survey of Applications. John Wiley and Sons Incorporated, 2012.

Warning: These citations may not always be 100% accurate.