Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996
type: Item
instance of: scholarly article
title: Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996
zbMATH Open document ID: 0936.00043
DOI: 10.1016/S0167-6423(99)00013-1
published in: Science of Computer Programming
publication date: 2000-05-08T00:00:00Z
review text: The articles of this issue will be reviewed individually. The proceedings have been reviewed (see Lecture Notes in Computer Science 1145 (1996; Zbl 0855.68002). The 6th symposium 1999 has been indicated (see Zbl 0929.00064).
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1383537
zbMATH Keywords: Aachen (Germany)
zbMATH Keywords: Selected papers
zbMATH Keywords: Symposium
zbMATH Keywords: Special issue
zbMATH Keywords: SAS '96
zbMATH Keywords: Static analysis
MaRDI profile type: Publication
full work available at URL: s0167-6423(99)00013-1
OpenAlex ID: W4211136425
description: scientific article; zbMATH DE number 1383537