Yang, X., Wang, J., & Yi, X. Slicing execution with partial weakest precondition for model abstraction of C programs.
শিকাগো স্টাইলে সাইটেশনYang, Xuejun., Ji Wang, এবং Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.
এমএলএ সাইটেশনYang, Xuejun., Ji Wang, এবং Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.