APA Citatie

Yang, X., Wang, J., & Yi, X. Slicing execution with partial weakest precondition for model abstraction of C programs.

Chicago Style citaat

Yang, Xuejun., Ji Wang, en Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.

MLA citatie

Yang, Xuejun., Ji Wang, en Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.

Let op: Deze citaties zijn niet altijd 100% accuraat.