Margaria, T., & Steffen, B. (2025). Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. Springer Nature.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. Springer Nature, 2025.
Successfully copied to clipboard
Copying to clipboard failed
MLA citiranje
Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. Springer Nature, 2025.
Successfully copied to clipboard
Copying to clipboard failed
Opozorilo: Ti citati niso vedno 100% točni.