Saturn
From MaRDI portal
Software:14037
No author found.
Related Items (4)
Black-box testing based on colorful taint analysis ⋮ Constraint-Based Invariant Inference over Predicate Abstraction ⋮ Integration of verification methods for program systems ⋮ On the hierarchical community structure of practical Boolean formulas
This page was built for software: Saturn