Cita APA (7th ed.)
Reynolds, A., & Tasiran, S. (2024). Verified Software. Theories, Tools and Experiments. Springer Nature.
Cita Chicago (17th ed.)
Reynolds, Andrew, i Serdar Tasiran. Verified Software. Theories, Tools and Experiments. Springer Nature, 2024.
Cita MLA (9th ed.)
Reynolds, Andrew, i Serdar Tasiran. Verified Software. Theories, Tools and Experiments. Springer Nature, 2024.
Atenció: Aquestes cites poden no estar 100% correctes.