(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
শিকাগো স্টাইলে সাইটেশনVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
এমএলএ সাইটেশনVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.