APA (7 वां संस्करण) प्रशस्ति पत्र

Proceedings of the 8th International Conference on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).

शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र

Proceedings of the 8th International Conference on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).

एमएलए (9वां संस्करण) प्रशस्ति पत्र

Proceedings of the 8th International Conference on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).

चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.