Tietueen sitaatit
APA-viiteIEEE Xplore (Online Service), jakaja, Wiley InterScience (Online service), julkaisija, Gnesi, S., & Margaria-Steffen, T. (2012). Formal methods for industrial critical systems: A survey of applications. John Wiley and Sons Incorporated. https://doi.org/10.1002/9781118459898
Chicago-tyylinen lähdeviittausIEEE Xplore (Online Service), jakaja, julkaisija Wiley InterScience (Online service), Stefania Gnesi, ja Tiziana Margaria-Steffen. Formal Methods for Industrial Critical Systems: A Survey of Applications. Hoboken, New Jersey: John Wiley and Sons Incorporated, 2012. https://doi.org/10.1002/9781118459898.
MLA-viiteIEEE Xplore (Online Service), jakaja, et al. Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley and Sons Incorporated, 2012. https://doi.org/10.1002/9781118459898.
Harvard-tyylinen lähdeviittausIEEE Xplore (Online Service), j., Wiley InterScience (Online service), j., Gnesi, S. & Margaria-Steffen, T. 2012. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley and Sons Incorporated.