DyTa
From MaRDI portal
Software:34637
Author name not available (Why is that?)
Related Items (2)
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Cut branches before looking for bugs: certifiably sound verification on relaxed slices
This page was built for software: DyTa
