VVT

swMATH21510MaRDI QIDQ33317FDOQ33317

Author name not available (Why is that?)

Official website: http://vvt.forsyte.at

Cited In (1)

• Dynamic reductions for model checking concurrent software

This page was built for software: VVT