Khurshid, S. Generalizing symbolic execution to library classes. Software engineering notes..
Cita Chicago (17th ed.)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes. .
Cita MLA (9th ed.)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes., .
Atenció: Aquestes cites poden no estar 100% correctes.