(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
শিকাগো স্টাইলে সাইটেশনAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
এমএলএ সাইটেশনAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.