Khurshid, S. Generalizing symbolic execution to library classes. Software engineering notes..
Chicago-Zitierstil (17. Ausg.)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes. .
MLA-Zitierstil (9. Ausg.)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.