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% सटीक नहीं हो सकते हैं.