Proceedings of the 10th international conference on Static analysis

Dades bibliogràfiques
Altres autors: Cousot
Format: Electrònic Llibre
Idioma:English
Publicat: Association for Computing Machinery (ACM), 6/11/03
Matèries:
Accés en línia:Full text available on Research4Life (ACM)
Classic Catalogue: View this record in Classic Catalogue