Yang, X., Wang, J., & Yi, X. Slicing execution with partial weakest precondition for model abstraction of C programs.
Čikaški stil citiranjaYang, Xuejun., Ji Wang, i Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.
MLA način citiranjaYang, Xuejun., Ji Wang, i Xiaodong Yi. Slicing Execution With Partial Weakest Precondition for Model Abstraction of C Programs.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.