Pirate

swMATH19207MaRDI QIDQ31037FDOQ31037

Author name not available (Why is that?)

Official website: http://people.mpi-inf.mpg.de/~dwand/tacas15/d.pdf

Cited In (3)

• TIP: tons of inductive problems
• Graphsc
• TIP: tools for inductive provers

This page was built for software: Pirate