Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 30, 1994 : proceedings
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray,...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
864 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Static analysis, First International Symposium, SAS '94, Namur, Belgium, September 28-30, 1994, proceedings, Baudouin Le Charlier, ed, 1994, Berlin, Springer-Verlag, 1 vol. (XII-463 p.), Lecture notes in computer science, 0-387-58485-4 • Static Analysis, Texte imprimé, 9783662200087 |