G. Birtwistle, P. A. S. (1989). Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag.
শিকাগো স্টাইলে সাইটেশনG. Birtwistle, P A Subrahmanian. Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag, 1989.
এমএলএ সাইটেশনG. Birtwistle, P A Subrahmanian. Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag, 1989.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.