Gnesi, S. [ca. 2012]. Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches [Cd]. Piscataway, NJ: IEEE Press.
ISO-690 (author-date, English)GNESI, Stefania, 2012. Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches. Piscataway, NJ: IEEE Press. ISBN 9781467319065.
Modern Language Association 9th editionGnesi, S. Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches. cd, IEEE Press, 2012.
Mohr Siebeck - Recht (Deutsch - Österreich)Gnesi, Stefania: Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches, Piscataway, NJ 2012.
Emerald - HarvardGnesi, S. (2012), Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches, Bd. , IEEE Press, Piscataway, NJ.