6 results on '"Xavier Rival"'
Search Results
2. Lightweight Shape Analysis Based on Physical Types.
3. Abstraction of Arrays Based on Non Contiguous Partitions.
4. Reduced Product Combination of Abstract Domains for Shapes.
5. Abstract Interpretation-Based Certification of Assembly Code.
6. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.