julia

MaRDI QIDQ21699swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-17511-4_23

Cited in

(3)

• Boolean formulas for the static identification of injection attacks in Java
• Inferring complete initialization of arrays
• Julia Static Analyzer

This page was built for software: julia