ACSAR

swMATH2684MaRDI QIDQ15223FDOQ15223

Author name not available (Why is that?)

Cited In (3)

• Abstraction Refinement for Quantified Array Assertions
• An Assume Guarantee Approach for Checking Quantified Array Assertions
• A Lightweight Approach for Loop Summarization

This page was built for software: ACSAR