BibTex format @book{Nielson:1999,author = {Nielson, F and Nielson, HR and Hankin, C},publisher = {Springer Verlag},title = {Principles of Program Analysis},year = {1999}} Download
RIS format (EndNote, RefMan) TY - BOOKAU - Nielson,FAU - Nielson,HRAU - Hankin,CPB - Springer VerlagPY - 1999///TI - Principles of Program AnalysisER - Download