Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.