Static Analysis Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy.
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSÀ93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different p...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Cousot, Patrick
(Editor),
Falaschi, Moreno
(Editor),
File, Gilberto
(Editor),
Rauzy, Antoine
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1993.
|
|---|
| Edition: | 1st ed. 1993. |
|---|
| Series: | Lecture Notes in Computer Science,
724
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|