Static analysis : First International Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier, ed..
Saved in:
Published: |
Berlin ; New York :
Springer-Verlag,
1994.
|
---|---|
Corporate Author: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
864 |
Subjects: | |
Format: | Conference Proceeding Book |
Library Storage, Request for Retrieval
Call Number
Copy
Loan Type
Status
Request
|
|||||