IKOS

swMATH14865MaRDI QIDQ26761FDOQ26761

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-319-10431-7_20

Cited In (6)

• Aspic
• Interproc
• PAGAI
• DyTa
• Ultimate Taipan
• Analyzing Array Manipulating Programs by Program Transformation

This page was built for software: IKOS