F43BE98E-1E66-4354-B367-735D738446D9Geometric Abstractions for Scalable Program AnalyzersResearch GrantEP/G025177/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL512298554D0E8-C5EB-47EE-93A4-11081508C4A8Applications of polyhedral computations to the analysis and verification of hardware and software systemsTheoretical Computer Science47159738c33d1a7c8ceac9d6141907f1Bagnara R2009-01-01http://dx.doi.org/10.1016/j.tcs.2009.07.033http://dx.doi.org/10.1016/j.tcs.2009.07.03346Journal Article/Reviewdoi_53d00c00c796a27c