LEADER 01083nam 2200337 450 001 9910729734003321 005 20230815092528.0 024 7 $a10.5445/KSP/1000155035 035 $a(CKB)5580000000553602 035 $a(NjHacI)995580000000553602 035 $a(EXLCZ)995580000000553602 100 $a20230815d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSystematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security /$fMartin Mohr 210 1$aKarlsruhe :$cKIT Scientific Publishing,$d2023. 215 $a1 online resource (441 pages) 311 $a1000155035 606 $aSoftware support 615 0$aSoftware support. 676 $a005.16 700 $aMohr$b Martin$01374512 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910729734003321 996 $aSystematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security$93421625 997 $aUNINA