APA (7 वां संस्करण) प्रशस्ति पत्र
Lal, A., & Tonetta, S. (2023). Verified Software. Theories, Tools and Experiments. Springer Nature.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Lal, Akash, और Stefano Tonetta. Verified Software. Theories, Tools and Experiments. Springer Nature, 2023.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Lal, Akash, और Stefano Tonetta. Verified Software. Theories, Tools and Experiments. Springer Nature, 2023.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.