Berg,H.K. Formal methods of program verification. Prentice-Hall.
শিকাগো স্টাইলে সাইটেশনBerg,H.K. Formal Methods of Program Verification. New Jersey: Prentice-Hall.
এমএলএ সাইটেশনBerg,H.K. Formal Methods of Program Verification. Prentice-Hall.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.