Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/827
Title: String Analysis for Software Verification and Security
Authors: Bultan, Tevfik ;
Year: 2017
Publisher: Springer
Description: 
ALMA ;
QA76













Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ;
JonE ; ALMA ;
Mdhd ; ALMA ;
Tdig ; ALMA ;
Print ; String Analysis for Software Verification and Security ; 97833
URI: http://localhost/handle/Hannan/827
ISBN: 978-3-319-68670-7 (Print) ;
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319686707.pdf8.43 MBAdobe PDFThumbnail
Preview File
Title: String Analysis for Software Verification and Security
Authors: Bultan, Tevfik ;
Year: 2017
Publisher: Springer
Description: 
ALMA ;
QA76













Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ;
JonE ; ALMA ;
Mdhd ; ALMA ;
Tdig ; ALMA ;
Print ; String Analysis for Software Verification and Security ; 97833
URI: http://localhost/handle/Hannan/827
ISBN: 978-3-319-68670-7 (Print) ;
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319686707.pdf8.43 MBAdobe PDFThumbnail
Preview File
Title: String Analysis for Software Verification and Security
Authors: Bultan, Tevfik ;
Year: 2017
Publisher: Springer
Description: 
ALMA ;
QA76













Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ;
JonE ; ALMA ;
Mdhd ; ALMA ;
Tdig ; ALMA ;
Print ; String Analysis for Software Verification and Security ; 97833
URI: http://localhost/handle/Hannan/827
ISBN: 978-3-319-68670-7 (Print) ;
Appears in Collections:مهندسی فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319686707.pdf8.43 MBAdobe PDFThumbnail
Preview File