Feng Liu

First name

Feng

Last name

Liu

Schwartz-Narbonne, Daniel, Feng Liu, David August, and Sharad Malik. 2012. “PASSERT: A Tool for Debugging Parallel Programs”. In Computer Aided Verification, 751–757. Springer Berlin/Heidelberg.

Reference Link