julia

swMATH9720MaRDI QIDQ21699FDOQ21699

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: julia