Xavier Rival profile picture

Xavier Rival

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Shape Analysis
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation 15th International Conference, Vmcai 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings