ACSAR

swMATH2684MaRDI QIDQ15223FDOQ15223

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-73370-6_19

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