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,...

Полное описание

Библиографические подробности

Соавтор:	International static analysis symposium :Namur
Другие авторы:	Le Charlier, Baudouin, 19..- (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in computer science 864
Предметы:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Actes de congrès
Online-ссылка:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Примечание:	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