APA-viite

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

Chicago-tyylinen lähdeviittaus

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

MLA-viite

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

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.