ACSAR
From MaRDI portal
Software:15223
No author found.
Related Items (3)
A Lightweight Approach for Loop Summarization ⋮ An Assume Guarantee Approach for Checking Quantified Array Assertions ⋮ Abstraction Refinement for Quantified Array Assertions
This page was built for software: ACSAR