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