Aligators

swMATH9779MaRDI QIDQ21758FDOQ21758

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-16242-8_25

Cited In (2)

• Verifying array manipulating programs with full-program induction
• Aligators for Arrays (Tool Paper)

This page was built for software: Aligators