DynaMate

swMATH14286MaRDI QIDQ26190FDOQ26190

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-13338-6_4

Cited In (4)

• InvGen
• LOOPUS
• Lingva
• Reasoning about loops using Vampire in KeY

This page was built for software: DynaMate