Khurshid, S. Generalizing symbolic execution to library classes. Software engineering notes..
Citazione stile Chigago Style (17a edizione)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes. .
Citatione MLA (9a ed.)Khurshid, Sarfraz. "Generalizing Symbolic Execution to Library Classes." Software Engineering Notes., .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.