v2c

swMATH34740MaRDI QIDQ46449FDOQ46449

Author name not available (Why is that?)

Official website: http://www.cprover.org/hardware/v2c/

Cited In (5)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• PLuTo
• PIPS
• Flamel
• SamaTulyata

This page was built for software: v2c