Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Book

Radhia Cousot and Matthieu Martel

France

14/09/2010

Abstract

Static analysis

abstract interpretation

url

Find in HALView

1 Record Views

Title: Static Analysis
Creators - without role: Radhia Cousot - École Normale Supérieure - PSL
Matthieu Martel - Université de Perpignan
Conference: France
Identifiers: 978-3-642-15768-4; 9939093609311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Book
Local Fields: hal-00813003